Abstraction and Counterexample-guided Construction of Omega-Automata for Model Checking of Step-dicrete linear Hybrid Models

BIB
Segelken, Marc
Computer Aided Verification
07 / 2007
article
Springer-Verlag
433-448
Springer-Verlag