Heuristic Universality Detection over Regular Expressions Specified by Systems.

Florent Koechlin, Carine Pivoteau, Pablo Rotondo

Browse the full DLT paper archive.