A classi of symbolic transition systems (0)

by T Henzinger, R Majumdar, J Raskin
Venue:ACM Trans. Comput. Logic