| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I | Taschenbuch | 978-3-319-41527-7 | 2016 | Azadeh Farzan |
| Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I | Paperback | 978-3-319-41529-1 | 2016 | " |
| Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II | Taschenbuch | 978-3-319-41539-0 | 2016 | " |
| Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II | Paperback | 978-3-319-41541-3 | 2016 | " |