Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
- Author
- Marco Montali
- Publisher
- Springer
- Language
- English
- Edition
- 1st Edition.
- Year
- 2010
- Page
- 433
- ISBN
- 364214537X,9783642145377
- File Type
- pdf
- File Size
- 8.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot