A
Menu
January 01, 2006 conference-paper

CSL Model Checking for Generalized Stochastic Petri Nets

International Conference on the Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2006.13 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 9

1 result

References 0