Srba, Jiri books & textbook
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca Ingólfsdóttir, Anna Larsen, Kim Guldstrand Srba, Jiri
Cambridge University Press /2007-08-13 Hardcover / 302 Pages
isbn-10: 0521875463 / isbn-13: 9780521875462
Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (Theoretical Computer Science and General Issues)
Larsen, Kim Guldstrand Potapov, Igor Srba, Jiří
Springer /2016-09-13 Paperback / 207 Pages
isbn-10: 3319459937 / isbn-13: 9783319459936
