A
Menu
September 01, 2008 conference-paper Open access

Regular Expressions for PCTL Counterexamples

International Conference on Quantitative Evaluation of Systems (QEST)

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

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 25

1 result

References 0