Aufsatz in einer Fachzeitschrift
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Details zur Publikation
Autor(inn)en: | Clarke, E.; Fehnker, A.; Han, Z.; Krogh, B.; Ouaknine, J.; Stursberg, O.; Theobald, M. |
Publikationsjahr: | 2003 |
Zeitschrift: | Int. Journal Foundations of Computer Science |
Seitenbereich: | 583–604 |
Jahrgang/Band : | 14(4) |
