A
Menu
January 01, 2005 conference-paper Open access

A Markov reward model checker

International Conference on the Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2005.2 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 247

1 result

References 0