![](https://www.pdfsearch.io/img/4d934d8de25f418d6ea7b26a7f679f3b.jpg) Date: 2017-09-26 08:06:21
| | Exact Quantitative Probabilistic Model Checking Through Rational Search Matthew S. Bauer∗ , Umang Mathur∗ , Rohit Chadha† , A. Prasad Sistla‡ and Mahesh Viswanathan∗ ∗ University of Illinois at Urbana-ChampaAdd to Reading ListSource URL: www.cs.utexas.eduDownload Document from Source Website File Size: 370,87 KBShare Document on Facebook
|