Wolfgang Thomas
-
Branching time controllers for discrete event systems
Theoretical Computer Science