Reactive systems : modelling, specification and verification / Luca Aceto... [et al.]
Reactive systems : modelling, specification and verification / Luca Aceto... [et al.]
. - Cambridge : Cambridge University, 2007
. - XVI, 284 p. : il. 26 cm
978-0-521-87546-2 Encadernado
519.6