| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings | Taschenbuch | 978-3-540-42345-4 | 2008 | Gerard Berry · Hubert Comon |
| Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings | " | 978-3-642-33511-2 | 2012 | Jerome Leroux · Igor Potapov |
| STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings | Paperback | 978-3-662-19223-8 | 2014 | Matthias Jantzen |
| STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings | Taschenbuch | 978-3-540-55210-9 | 2008 | " |
| STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings | " | 978-3-540-56503-1 | 2009 | Patrice Enjalbert · Klaus W. Wagner |
| Systems and Software Verification: Model-Checking Techniques and Tools | Gebunden | 978-3-540-41523-7 | 2001 | B. Berard · Michel Bidoit |