| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings | 978-3-540-27231-1 (3-540-27231-3) | 2008 | Kousha Etessami |
R.K. · R.S. · R. Sriram · Sriram K. Rajamani