| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings | Taschenbuch | 978-3-319-45993-6 (3-319-45993-7) | 2016 | Igor Potapov · Jiri Srba |
| Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings | Paperback | 978-3-319-45995-0 (3-319-45995-3) | 2016 | Igor Potapov · Jiří Srba |
| Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings | Taschenbuch | 978-3-662-46080-1 (3-662-46080-7) | 2015 | Deepak D'Souza · Akash Lal |