Aceto, Luca, etal
Reactive systems modeling specification and verification - Cambridge Cambridge University Press 2007 - 284
9780521875462
681.3 ACE
Reactive systems modeling specification and verification - Cambridge Cambridge University Press 2007 - 284
9780521875462
681.3 ACE