What if model checking must be truly symbolic (0)

by H Hungar, O Grumberg, W Damm
Venue:In Proc. CHARME 1995, LNCS 987