External Links

Cite Key

Statistics

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

PDF

Tags

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.

Symbolic Determinisation of Extended Automata

Thierry Jéron, Hervé Marchand, Vlad Rusu. Symbolic Determinisation of Extended Automata. In Gonzalo Navarro, Leopoldo E. Bertossi, Yoshiharu Kohayakawa, editors, Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile. Volume 209 of IFIP, pages 197-212, Springer, 2006. [doi]

Authors

Thierry Jéron

This author has not been identified. Look up 'Thierry Jéron' in Google

Hervé Marchand

This author has not been identified. Look up 'Hervé Marchand' in Google

Vlad Rusu

Identified as Vlad Rusu
runs on