Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata

Citation:
Mohammed, A., and F. Stolzenburg, Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata, , Koblenz, Germany, Universit├Ąt Koblenz-Landau, pp. 1-27, June 2009.

Report Date:

June 2009

Report Number:

6/2009