Compositional Abstractions of Hybrid Con
β
Paulo Tabuada; George J. Pappas; Pedro Lima
π
Article
π
2004
π
Springer
π
English
β 373 KB