Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata (2003)

by C Fritz
Venue:In Proc. of the 8th Intl. Conference on Implementation and Application of Automata (CIAA-03), volume 2759 of LNCS