From Sequential Extended Regular Expressions to NFA with Symbolic Labels

Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta. From Sequential Extended Regular Expressions to NFA with Symbolic Labels. In Michael Domaratzki, Kai Salomaa, editors, Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Volume 6482 of Lecture Notes in Computer Science, pages 87-94, Springer, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.