Approximately Bisimilar Symbolic Models
β
Girard, A.; Pola, G.; Tabuada, P.
π
Article
π
2010
π
IEEE
π
English
β 913 KB