Login / Signup

From synchronous programs to symbolic representations of hybrid systems.

Kerstin BauerKlaus Schneider
Published in: HSCC (2010)
Keyphrases