%0 Journal Article %1 journals/tcs/Lluch-LafuenteM05 %A Lluch-Lafuente, Alberto %A Montanari, Ugo %D 2005 %J Theor. Comput. Sci. %K %N 1 %P 135-160 %T Quantitative mu-calculus and CTL defined over constraint semirings. %U http://dblp.uni-trier.de/db/journals/tcs/tcs346.html#Lluch-LafuenteM05 %V 346

@article{journals/tcs/Lluch-LafuenteM05, added-at = {2023-12-13T02:43:04.000+0100}, author = {Lluch-Lafuente, Alberto and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/25a9fd27d392fd1e4e76e75a6ef9e32d2/admin}, ee = {https://www.wikidata.org/entity/Q56501923}, interhash = {82ae4ae158e163a09a10eb1223689522}, intrahash = {5a9fd27d392fd1e4e76e75a6ef9e32d2}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 1, pages = {135-160}, timestamp = {2023-12-13T02:43:04.000+0100}, title = {Quantitative mu-calculus and CTL defined over constraint semirings.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs346.html#Lluch-LafuenteM05}, volume = 346, year = 2005 }