| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10981) | 978-3-319-96144-6 (3-319-96144-6) | 2018 | Hana Chockler |
| Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982) | 978-3-319-96141-5 (3-319-96141-1) | 2018 | " |
| Digitaltechnik - Eine praxisnahe Einführung | 978-3-540-77728-1 (3-540-77728-8) | 2008 | Armin Biere · Daniel Kroening · Christoph Wintersteiger |