Short Regular Expressions from Finite Automata: Empirical Results

Bibliographic Details
Main Authors: Gruber, H, Holzer, M, Tautschnig, M
Format: Conference item
Published: Springer 2009