E. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald. Abstraction and counterexample-guided refinement in model checking of hybrid systems. International Journal of Foundations of Computer Science, 14(4):583--604, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Refining Abstractions of Hybrid Systems Using.. - Fehnker, Clarke, Jha.. Self-citation (Clarke Fehnker Krogh) (Correct)
No context found.
E. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald. Abstraction and counterexample-guided refinement in model checking of hybrid systems. International Journal of Foundations of Computer Science, 14(4):583--604, 2003.
Verification of a Cruise Control System Using.. - Stursberg, Fehnker.. (2003) Self-citation (Fehnker Han Krogh Stursberg) (Correct)
No context found.
Clarke, E., A. Fehnker, Z. Han, B.H. Krogh, J. Ouaknine, O. Stursberg and M. Theobald (2003a). Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. Journ. of Found. of Comp. Science.
Safety Verification of Hybrid Systems by Constraint.. - Ratschan, She (Correct)
No context found.
E. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald. Abstraction and counterexample-guided refinement in model checking of hybrid systems. International Journal of Foundations of Computer Science, 14(4), 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC