Orna Grumberg. Abstract interpretation of reactive systems (1997)

by Dennis Dams, Rob Gerth
Venue:ACM Trans. Program. Lang. Syst