%0 Conference Proceedings
%T Probabilistic Model Checking: A Comparison of GPMC versus PRISM
%A Nouri Baygi, Mostafa
%A  Ali Movaghar Rahimabadi
%J 12th Annual Conference of Computer Society of Iran
%D 2007