Aufsatz in einer Fachzeitschrift
Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement.
Details zur Publikation
Autor(inn)en: | Clarke, E.; Fehnker, A.; Han, Z.; Krogh, B.; Stursberg, O.; Theobald, M. |
Publikationsjahr: | 2003 |
Zeitschrift: | Tools and Algorithms for the Construction and Analysis of Systems |
Seitenbereich: | 192–207. Springer |
Jahrgang/Band : | 2619 of LNCS |
