Author:
Contensin Magali,Pierre Laurence
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;R. Hojati,1996
2. Lecture Notes in Computer Science;S. Berezin,1998
3. Lecture Notes in Computer Science;S. Bensalem,1998
4. Bjørner, N., Browne, A., Colón, M., Finkbeiner, B., Manna, Z., Sipma, H., Uribe, T.: Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design 16 (2000)
5. Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Symposium on Principles of Programming Languages (2002)