DaftarIsitemplate

Call Number

004.33 Jos f

Title

Decidable model checking of probabilistic hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 31-45

Author

Jeremy Sproston;

Publisher

Springer, 2000

Subject

Location