%0 Conference Paper %1 conf/memics/LarsenFT09 %A Larsen, Kim G. %A Fahrenberg, Uli %A Thrane, Claus R. %B MEMICS %D 2009 %E Hlinený, Petr %E Matyás, Václav %E Vojnar, Tomás %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany %K dblp %T A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. %U http://dblp.uni-trier.de/db/conf/memics/memics2009.html#LarsenFT09 %V 13

@inproceedings{conf/memics/LarsenFT09, added-at = {2019-05-16T00:00:00.000+0200}, author = {Larsen, Kim G. and Fahrenberg, Uli and Thrane, Claus R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b6d9743b90e57d0a3eb40327f998988f/dblp}, booktitle = {MEMICS}, crossref = {conf/memics/2009}, editor = {Hlinený, Petr and Matyás, Václav and Vojnar, Tomás}, ee = {http://drops.dagstuhl.de/opus/volltexte/2009/2345}, interhash = {d39067ede588b977cb4dc52e39718fb1}, intrahash = {b6d9743b90e57d0a3eb40327f998988f}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, series = {OASIcs}, timestamp = {2022-03-01T06:59:30.000+0100}, title = {A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/memics/memics2009.html#LarsenFT09}, volume = 13, year = 2009 }