Verification of Reactive Systems: Formal Methods and Algorithms
Schneider, Klaus
Verification of Reactive Systems: Formal Methods and Algorithms - New York Springer Berlin Heidelberg 2006 - 600p - Texts in Theoretical Computer Science An EATCS .
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
9783540002963 0.00
Computer Engineering
004.21 / SCH
Verification of Reactive Systems: Formal Methods and Algorithms - New York Springer Berlin Heidelberg 2006 - 600p - Texts in Theoretical Computer Science An EATCS .
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
9783540002963 0.00
Computer Engineering
004.21 / SCH