Wolfgang Thomas
-
Classifying regular languages by a split game
Theoretical Computer Science
Bounded Model Checking for All Regular Properties
Electronic Notes in Theoretical Computer Science (ENTCS)