@inproceedings{Brazdil:2008:SPP:1381308.1382239,
    Address = {Washington, DC, USA},
    Author = {Br\'{a}zdil, Tom\'{a}{\v s}; and Forejt, Vojtech and Kret\'{\i}nsk\'{y}, Jan and Kucera, Anton\'{\i}n},
    BookTitle = {Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science},
    ISBN = {978-0-7695-3183-0},
    Keywords = {Markov chains, temporal logics},
    Pages = {391--402},
    Publisher = {IEEE Computer Society},
    Series = {LICS '08},
    Title = {The Satisfiability Problem for Probabilistic CTL},
    URL = {http://dx.doi.org/10.1109/LICS.2008.21},
    Year = {2008},
    acmid = {1382239},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2008.21},
    date-added = {2014-10-31 05:53:42 +0000},
    date-modified = {2014-10-31 05:53:42 +0000},
    numpages = {12},
    doi = {10.1109/LICS.2008.21}
}

@inproceedings{Brazdil:2008:SPP:1381308.1382239, Address = {Washington, DC, USA}, Author = {Br\'{a}zdil, Tom\'{a}{\v s}; and Forejt, Vojtech and Kret\'{\i}nsk\'{y}, Jan and Kucera, Anton\'{\i}n}, BookTitle = {Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science}, ISBN = {978-0-7695-3183-0}, Keywords = {Markov chains, temporal logics}, Pages = {391--402}, Publisher = {IEEE Computer Society}, Series = {LICS '08}, Title = {The Satisfiability Problem for Probabilistic CTL}, URL = {http://dx.doi.org/10.1109/LICS.2008.21}, Year = {2008}, acmid = {1382239}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2008.21}, date-added = {2014-10-31 05:53:42 +0000}, date-modified = {2014-10-31 05:53:42 +0000}, numpages = {12}, doi = {10.1109/LICS.2008.21} }