Specification and verification of declarative open interaction models : a logic-based approach
- Author
- Montali, Marco
- Publisher
- Springer-Verlag
- Language
- English
- Edition
- 2010
- Year
- 2010
- Page
- 411
- ISBN
- 364214537X,978-3-642-14537-7,9783642145384,3642145388
- File Type
- pdf
- File Size
- 6.6 MiB
How to Download?!!!
Just click on START button on Telegram Bot