@inproceedings{856368,
 address = {Neuveden},
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Milan Češka and Jana Tůmová},
 booktitle = {Formal Methods for Industrial Critical Systems},
 doi = {http://dx.doi.org/10.1007/978-3-642-03240-0_8},
 howpublished = {tištěná verze "print"},
 isbn = {978-3-642-03239-4},
 keywords = {Quantitative Model Checking; Linear Temporal Logic; Probabilistic systems},
 language = {eng},
 location = {Neuveden},
 pages = {53-68},
 publisher = {Springer Berlin / Heidelberg},
 title = {Local Quantitative LTL Model Checking},
 url = {http://dx.doi.org/10.1007/978-3-642-03240-0_8},
 year = {2009}
}