Amer Mathematical Society · Springer
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings | Taschenbuch | 978-3-319-46519-7 | 2016 | Cyrille Artho · Axel Legay | |
| Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings | Paperback | 978-3-319-46521-0 | 2016 | Cyrille Artho · Axel Legay | |
| Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings | Taschenbuch | 978-3-540-66202-0 | 2008 | Nicolas Halbwachs | |
| The Spin Verification System: Dimacs Workshop, August 5, 1996 | Hardcover | 978-0-8218-0680-7 | 1997 | N. J.) Workshop on the Spin Verification System (1996 New Brunswick · Jean-Charles Gregoire · Gerard J. Holzmann | |
| Time for Verification: Essays in Memory of Amir Pnueli | Taschenbuch | 978-3-642-13753-2 | 2010 | Zohar Manna |