K S · Kedar Namjoshi · [s.n.]
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings | 978-3-540-75595-1 (3-540-75595-0) | 2007 | |
| Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... Notes in Computer Science , Band 3855) | 978-3-540-31139-3 (3-540-31139-4) | 2008 | E. Allen Emerson |