A classification of symbolic transition systems (2005)

by Thomas A. Henzinger , Rupak Majumdar , Jean-François Raskin
Venue:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Citations:44 - 5 self