%0 Conference Paper %1 conf/icalp/DrosteG05 %A Droste, Manfred %A Gastin, Paul %B ICALP %D 2005 %E Caires, Luís %E Italiano, Giuseppe F. %E Monteiro, Luís %E Palamidessi, Catuscia %E Yung, Moti %I Springer %K dblp %P 513-525 %T Weighted Automata and Weighted Logics. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2005.html#DrosteG05 %V 3580 %@ 3-540-27580-0

@inproceedings{conf/icalp/DrosteG05, added-at = {2017-05-23T00:00:00.000+0200}, author = {Droste, Manfred and Gastin, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2715e296d7311ca50374a365091f59a9c/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2005}, editor = {Caires, Luís and Italiano, Giuseppe F. and Monteiro, Luís and Palamidessi, Catuscia and Yung, Moti}, ee = {https://doi.org/10.1007/11523468_42}, interhash = {49dea311daa307855f3e92b4f69003d0}, intrahash = {715e296d7311ca50374a365091f59a9c}, isbn = {3-540-27580-0}, keywords = {dblp}, pages = {513-525}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:21.000+0200}, title = {Weighted Automata and Weighted Logics.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2005.html#DrosteG05}, volume = 3580, year = 2005 }