Embedding Finite Automata within regular Expressions

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationInternational Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
EditorsTiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß
PublisherDepartment of Computer Science, University of Cyprus
Pages175-180
Number of pages6
VolumeTR-2004-6
StatePublished - 2004
Externally publishedYes

Publication series

NameTechnical Report
PublisherDepartment of Computer Science, University of Cyprus

Cite this