@inproceedings{hoelzl2012verifyingpctl, title = {Verifying {pCTL} Model Checking}, author = {Johannes H{\"o}lzl and Tobias Nipkow}, editor = {C. Flanagan and B. K{\"o}nig}, volume = {7214}, year = {2012}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)}, series = {LNCS}, pages = {347--361} }