L. Aceto

L a · Luca Aceto

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Reactive Systems: Modelling, Specification and Verification978-O-521-87546-2
(O-521-87546-3)
2007Anna Ingolfsdottir · Kim Guldstrand Larson · Jiri Srba

L. Achelis

fie the leaving asked!
zounds! darn! sweeping peeking trick.
China runs strangely