Princeton University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings | Taschenbuch | 978-3-540-54477-7 | 2008 | Edmund M. Clarke | |
| Computer-Aided Verification of Coordinating Processes | Hardcover | 978-0-691-03436-2 | 1995 | ||
| Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach | " | 978-0-691-63489-0 | 2016 | ||
| Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach | Paperback | 978-0-691-60605-7 | 2014 | ||
| Verification of Digital and Hybrid Systems | Gebunden | 978-3-540-65595-4 | 2000 | M. Kemal Inan | |
P.K. · R.K. · R. P. · Robert K. · Robert P.