ISBN 9780521875462 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
