Author:
Olesen Mads Christian,Hansen René Rydhof,Larsen Kim Guldstrand
Publisher
Springer International Publishing
Reference37 articles.
1. Lecture Notes in Computer Science;R Alur,1999
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, New York (2008)
3. Lecture Notes in Computer Science;G Behrmann,2004
4. Lecture Notes in Computer Science;D Beyer,2007
5. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Programm. Lang. Syst. (TOPLAS) 16(5), 1512–1542 (1994)