Reactive Systems: Modelling, Specification and Verification

Ingolfsdottir

by: Luca Aceto · Anna Ingólfsdóttir · Kim Guldstrand Larsen · Jiri Srba

Hardcover

ISBN: 978-0-521-87546-2

ISBN-10: 0-521-87546-3

Cambridge University Press · 2007