Cambridge University Press · Springer
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 | Kim Guldstrand Larsen · Igor Potapov | |
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 | Kim Gulstrand Larsen · Igor Potapov | |
Reactive Systems: Modelling, Specification and Verification | Hardcover | 978-0-521-87546-2 (0-521-87546-3) | 2007 | Luca Aceto · Anna Ingólfsdóttir · Kim Guldstrand Larsen · Jiri Srba |