Constructing Automata from Temporal Logic Formulas: A Tutorial (0)

by Pierre Wolper
Venue:Summer School on Trends in Computer Science, LNCS 2090