Books listed by ISBN
>
Cambridge University Press
> L. Aceto
L. Aceto
L a
·
Luca Aceto
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Reactive Systems: Modelling, Specification and Verification
978-O-521-87546-2
(O-521-87546-3)
2007
Anna Ingolfsdottir · Kim Guldstrand Larson · Jiri Srba
L. Achelis
fie the leaving asked!
zounds! darn! sweeping peeking trick.
China runs strangely