%0 Conference Paper %1 conf/fmics/BarnatBCCT08 %A Barnat, Jiri %A Brim, Lubos %A Cerná, Ivana %A Ceska, Milan %A Tumova, Jana %B FMICS %D 2008 %E Cofer, Darren D. %E Fantechi, Alessandro %I Springer %K dblp %P 53-68 %T Local Quantitative LTL Model Checking. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2008.html#BarnatBCCT08 %V 5596 %@ 978-3-642-03239-4

@inproceedings{conf/fmics/BarnatBCCT08, added-at = {2019-10-30T00:00:00.000+0100}, author = {Barnat, Jiri and Brim, Lubos and Cerná, Ivana and Ceska, Milan and Tumova, Jana}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b1cfd80f80451fa8ed51e589107781a4/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2008}, editor = {Cofer, Darren D. and Fantechi, Alessandro}, ee = {https://doi.org/10.1007/978-3-642-03240-0_8}, interhash = {afd9c55ab32e735eb243dfe942ae2efe}, intrahash = {b1cfd80f80451fa8ed51e589107781a4}, isbn = {978-3-642-03239-4}, keywords = {dblp}, pages = {53-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-02T11:33:18.000+0100}, title = {Local Quantitative LTL Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2008.html#BarnatBCCT08}, volume = 5596, year = 2008 }