Orna Grumberg. Abstract interpretation of reactive systems (1997)

by Dennis Dams, Rob Gerth
Venue:ACM Transactions on Programming Languages and Systems