Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
International Journal on Software Tools for Technology Transfer
Authors 0
- Author list not loaded yet.
Cited by 4 stored of 29
4 results