Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
- Author
- Edmund M. Clarke, Flavio Lerda (auth.), Chairman S. Ramesh, Prahladavaradan Sampath (eds.)
- Publisher
- Springer Netherlands
- Language
- English
- Edition
- 1
- Year
- 2007
- Page
- 300
- ISBN
- 978-1-4020-6253-7,978-1-4020-6254-4
- File Type
- pdf
- File Size
- 6.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot