Journal article
Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement.
Publication Details
Authors: | Clarke, E.; Fehnker, A.; Han, Z.; Krogh, B.; Stursberg, O.; Theobald, M. |
Publication year: | 2003 |
Journal: | Tools and Algorithms for the Construction and Analysis of Systems |
Pages range : | 192–207. Springer |
Volume number: | 2619 of LNCS |
