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
