![](/img/cover-not-exists.png)
Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models
Mohagheghi, Mohammadsadegh, Karimpour, Jaber, Isazadeh, Ayaz, Anta, Antonio FernandezJournal:
The Computer Journal
DOI:
10.1093/comjnl/bxz001
Date:
February, 2019
File:
PDF, 1.28 MB
2019