Login / Signup

Quantitative Analysis With the Probabilistic Model Checker PRISM.

Marta Z. KwiatkowskaGethin NormanDavid Parker
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases