@articleSeg2007, Author = {Segelken, Marc},Title = {Abstraction and Counterexample-guided Construction of Omega-Automata for Model Checking of Step-dicrete linear Hybrid Models},Year = {2007},Pages = {433-448},Month = {07},Editor = {Springer-Verlag},Publisher = {Springer-Verlag},Booktitle = {Computer Aided Verification},type = {article} @COMMENTBibtex file generated on