Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;D Bošnački,2015
2. Lecture Notes in Computer Science;E Clarke,2000
3. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Programm. Lang. Syst. (TOPLAS) 16(5), 1512–1542 (1994)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT press, Cambridge (1999)
5. Lecture Notes in Computer Science;EA Emerson,1993