Login / Signup

Foundations of a Compositional Interchange Format for Hybrid Systems.

D. A. van BeekMichel A. ReniersRamon R. H. SchiffelersJacobus E. Rooda
Published in: HSCC (2007)
Keyphrases