Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays

Ruggero Lanotte. Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays. Journal of Automata, Languages and Combinatorics, 12(3):373-405, 2007.

Abstract

Abstract is missing.