Abstract interpretation of reactive systems: Abstractions preserving 8CTL , 9CTL and CTL (1994)

by Dennis Dams , Orna Grumberg , Rob Gerth
Venue:Proceedings of the IFIP WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), IFIP Transactions
Citations:276 - 13 self