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]