@phdthesis{basesearch-15445,
  title = {Explicit Algorithms for Probabilistic Model Checking},
  author = {Igor Melatti},
  year = {2005},
  url = {https://www.base-search.net/Record/df5178cd85a1133373b52aae9ee7e5c152bf572dd063e2e2fc6b1d277ef2cddf},
  note = {base-search.net (ftunivromairis:oai:iris.uniroma1.it:11573/488365)},
  researchr = {https://researchr.org/publication/basesearch-15445},
  cites = {0},
  citedby = {0},
  school = {Sapienza University of Rome, Italy},
}