Journal article
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Publication Details
Authors: | Clarke, E.; Fehnker, A.; Han, Z.; Krogh, B.; Ouaknine, J.; Stursberg, O.; Theobald, M. |
Publication year: | 2003 |
Journal: | Int. Journal Foundations of Computer Science |
Pages range : | 583–604 |
Volume number: | 14(4) |
