Symbolic analysis of transition systems. (1912)

by N Shankar
Venue:ASM 2000. LNCS,