Cambridge University Press · Springer
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ... Notes in Computer Science, Band 10606) | 978-3-319-69482-5 | 2017 | Oleg Sokolsky · Ji Wang | |
| Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings | 978-3-319-45993-6 | 2016 | Igor Potapov · Jiří Srba | |
| Reactive Systems: Modelling, Specification and Verification | 978-0-521-87546-2 | 2007 | Luca Aceto · Anna Ingólfsdóttir · Jiri Srba | |
| Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings | 978-3-662-46080-1 | 2015 | Deepak D'Souza · Akash Lal |
G.L. · G Larsen · K L · K Larsen · Kim G. Larsen · Kim Guldstrand · Kim L.