Author:
Santone Antonella,Tortorella Maria
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Selective mu-calculus and Formula-Based Abstractions of Transition Systems. Journal of Computer and System Sciences 59(3) (1999)
2. Basili, V.R., Daskalantonakis, M.K., Yacobellis, R.H.: Technology transfer at Motorola. IEEE Software 11(2) (1994)
3. Breugel, F., Koshkina, M.: Models and verification of BPEL (2006),
http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
5. Lecture Notes in Computer Science;R. Cleaveland,1996