Verification of reactive systems : formal methods and algorithms
Schneider, Klaus
Verification of reactive systems : formal methods and algorithms - - Barlin Springer 2004 - xiv,600 p. 24 cm - .
3-540-00296-0
-
Computer software-Verification , Formal methods(Computer science) , Computer algorithms
681.3.06Sch
Verification of reactive systems : formal methods and algorithms - - Barlin Springer 2004 - xiv,600 p. 24 cm - .
3-540-00296-0
-
Computer software-Verification , Formal methods(Computer science) , Computer algorithms
681.3.06Sch