%0 Thesis %1 phd/basesearch/Melatti05 %A Melatti, Igor %D 2005 %K dblp %T Explicit Algorithms for Probabilistic Model Checking.

@phdthesis{phd/basesearch/Melatti05, added-at = {2023-05-03T00:00:00.000+0200}, author = {Melatti, Igor}, biburl = {https://www.bibsonomy.org/bibtex/28596b2c69c22a2bd37eb9547dac6cb30/dblp}, ee = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0014913}, interhash = {b75b856d11b28639d2a7a32e4f4304fa}, intrahash = {8596b2c69c22a2bd37eb9547dac6cb30}, keywords = {dblp}, note = {base-search.net (ftunivromairis:oai:iris.uniroma1.it:11573/488365)}, school = {Sapienza University of Rome, Italy}, timestamp = {2024-04-09T09:21:07.000+0200}, title = {Explicit Algorithms for Probabilistic Model Checking.}, year = 2005 }