TY  - BOOK
AU  - Aceto,Luca
AU  - Anna Ingólfsdóttir
AU  - Larsen,K.G.
AU  - Srba,Jiřiʹ
TI  - Reactive systems: modelling, specification and verification 
SN  - 9780521875462 (hbk.)
AV  - QA76.76.E95 R39 2007
U1  - 006.330151 Ac37R 23
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 (p. 267-279) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0805/2007282029-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy0805/2007282029-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0805/2007282029-t.html
ER  -