Discrete abstractions of hybrid systems
β
Alur, R.; Henzinger, T.A.; Lafferriere, G.; Pappas, G.J.
π
Article
π
2000
π
IEEE
π
English
β 495 KB