Login / Signup

Integration Graphs: A Class of Decidable Hybrid Systems.

Yonit KestenAmir PnueliJoseph SifakisSergio Yovine
Published in: Hybrid Systems (1992)
Keyphrases