Expressive Power of Hybrid Systems with Variables, Parameters and Arrays

Ruggero Lanotte. Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. Electronic Notes in Theoretical Computer Science, 96:91-112, 2004. [doi]

Abstract

Abstract is missing.