@inproceedings{paperid:1038794,
author = {Nouri Baygi, Mostafa and Ali Movaghar Rahimabadi},
title = {Probabilistic Model Checking: A Comparison of GPMC versus PRISM},
booktitle = {12th Annual Conference of Computer Society of Iran},
year = {2007},
location = {تهران, IRAN},
keywords = {Probabilistic Model Checking; Probabilistic Models; Markov Chains; PRISM; DTMC; CTMC},
}