A classification of symbolic transition systems (2005)

by T A Henzinger, R Maujumdar, J-F Raskin
Venue:ACM Trans. Comput. Log