%0 Journal Article %1 journals/jlp/ThraneFL10 %A Thrane, Claus R. %A Fahrenberg, Uli %A Larsen, Kim G. %D 2010 %J J. Log. Algebraic Methods Program. %K dblp %N 7 %P 689-703 %T Quantitative analysis of weighted transition systems. %U http://dblp.uni-trier.de/db/journals/jlp/jlp79.html#ThraneFL10 %V 79

@article{journals/jlp/ThraneFL10, added-at = {2021-02-16T00:00:00.000+0100}, author = {Thrane, Claus R. and Fahrenberg, Uli and Larsen, Kim G.}, biburl = {https://www.bibsonomy.org/bibtex/257ad8d70dabbea210794af26f609c572/dblp}, ee = {https://doi.org/10.1016/j.jlap.2010.07.010}, interhash = {b9dc7a048f805c4b1e848e68c4c2eb3d}, intrahash = {57ad8d70dabbea210794af26f609c572}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 7, pages = {689-703}, timestamp = {2024-04-08T10:51:01.000+0200}, title = {Quantitative analysis of weighted transition systems.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp79.html#ThraneFL10}, volume = 79, year = 2010 }