S.L.: Deterministic generators and games for LTL fragments. In: (2001)

by R Alur, Torre
Venue:16th IEEE Symposium on Logic in Computer Science, LICS