Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
- Author
- Natasha Alechina, Brian Logan (auth.), Doron A. Peled, Michael J. Wooldridge (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2009
- Page
- 189
- ISBN
- 364200430X,9783642004308
- File Type
- pdf
- File Size
- 2.4 MiB
How to Download?!!!
Just click on START button on Telegram Bot