External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Jumping Automata for Uniform Strategies

Bastien Maubert, Sophie Pinchinat. Jumping Automata for Uniform Strategies. In Anil Seth, Nisheeth K. Vishnoi, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. Volume 24 of LIPIcs, pages 287-298, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Authors

Bastien Maubert

This author has not been identified. Look up 'Bastien Maubert' in Google

Sophie Pinchinat

This author has not been identified. Look up 'Sophie Pinchinat' in Google
runs on