TY  - BOOK
AU  - Schneider, Klaus
TI  - Verification of Reactive Systems: Formal Methods and Algorithms
SN  - 9783540002963
U1  - 004.21 
PY  - 2006///
CY  - New York
PB  - Springer Berlin Heidelberg
KW  - Computer Engineering
N1  - Introduction A Unified Specification Language Fix point Calculi Finite Automata Temporal Logics Predicate Logic Conclusions Binary Decision Diagrams Local Model Checking and Satisfiability Checking for the µ-Calculus Reduction of Structures
ER  -