Login / Signup

A Markov Reward Model Checker.

Joost-Pieter KatoenManeesh KhattriIvan S. Zapreev
Published in: QEST (2005)
Keyphrases