TY  - BOOK
AU  - Aceto,Luca
TI  - Reactive systems: modelling, specification and verification 
SN  - 9780521875462 (hbk.)
PY  - 2007///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Expert systems (Computer science)
KW  - Validation
KW  - Verification
KW  - System design
KW  - Mathematical models
N1  - Includes bibliographical references and index
ER  -