Monodic ASMs and Temporal Verification

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_8 ◽

2004 ◽

pp. 95-110 ◽

Author(s):

Michael Fisher ◽

Alexei Lisitsa

Download Full-text