Alain Finkelkrault · Alain Finkielkraut · Finkel, Alain
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings: 13th International Conference, CAV ... | 978-3-540-42345-4 (3-540-42345-1) | 2007 | Gerard Berry · Hubert Comon |
| STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings | 978-3-540-55210-9 (3-540-55210-3) | 1992 | Matthias Jantzen |
| Systems and Software Verification: Model-Checking Techniques and Tools | 978-3-540-41523-7 (3-540-41523-8) | 2001 | B. Berard · Michel Bidoit |