TY  - BOOK
AU  - Schneider, Klaus
TI  - Verification of reactive systems : formal methods and algorithms
SN  - 9783540002960
SN  - 200306640
U1  - 004.21 SCH 
PY  - 2004///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer algorithms
KW  - Computer systems - Verification
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references (p. [561]-589) and index
ER  -