Bisimulation Relations for Dynamical and
β
Esfandiar Haghverdi; Paulo Tabuada; George Pappas
π
Article
π
2003
π
Elsevier Science
π
English
β 204 KB