%0 Journal Article %1 journals/fmsd/MathurBCSV20 %A Mathur, Umang %A Bauer, Matthew S. %A Chadha, Rohit %A Sistla, A. Prasad %A Viswanathan, Mahesh %D 2020 %J Formal Methods Syst. Des. %K dblp %N 1 %P 90-126 %T Exact quantitative probabilistic model checking through rational search. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd56.html#MathurBCSV20 %V 56

@article{journals/fmsd/MathurBCSV20, added-at = {2020-12-17T00:00:00.000+0100}, author = {Mathur, Umang and Bauer, Matthew S. and Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh}, biburl = {https://www.bibsonomy.org/bibtex/230e9a9f8803171132fc031b2e3480fc7/dblp}, ee = {https://doi.org/10.1007/s10703-020-00348-y}, interhash = {6c60f28fa899bafd24ec8e84a7173ba8}, intrahash = {30e9a9f8803171132fc031b2e3480fc7}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {90-126}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Exact quantitative probabilistic model checking through rational search.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd56.html#MathurBCSV20}, volume = 56, year = 2020 }