@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}
}