@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{HPW09, author = {M. Huth and N. Piterman and D. Wagner}, title = {Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL}, booktitle = {17th International Symposium on Fundamentals of Computation Theory}, pages = {205-216}, year = {2009}, volume = {5699}, series = lncs, publisher = springer, url = {2009/HPW09.html}, pdf = {2009/HPW09.pdf}, keywords = {Model Checking}, }