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]
Abstract is missing.