Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for real-time systems. In: LICS, pp. 414–425. IEEE Computer Society (1990)
2. Lecture Notes in Artificial Intelligence;B. Beckert,2001
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
4. Lecture Notes in Computer Science;W. Damm,2004
5. Lecture Notes in Computer Science;J.M. Davoren,2004