Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;D. Berardi,2003
2. Lecture Notes in Computer Science;A. Bouajjani,1997
3. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403–410 (2003)
4. Lecture Notes in Computer Science;M.H. Burstein,2002
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)