@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