A
Menu
September 01, 2009 conference-paper

A Modest Approach to Checking Probabilistic Timed Automata

International Conference on the Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2009.41 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 67

3 results

References 0