DrosteG05'

BibTeX

@inproceedings{DBLP:conf/icalp/DrosteG05,
  author    = {Manfred Droste and
               Paul Gastin},
  title     = {Weighted Automata and Weighted Logics},
  booktitle = {ICALP},
  year      = {2005},
  pages     = {513-525},
  ee        = {http://dx.doi.org/10.1007/11523468_42},
  crossref  = {DBLP:conf/icalp/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icalp/2005,
  editor    = {Lu\'{\i}s Caires and
               Giuseppe F. Italiano and
               Lu\'{\i}s Monteiro and
               Catuscia Palamidessi and
               Moti Yung},
  title     = {Automata, Languages and Programming, 32nd International
               Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005,
               Proceedings},
  booktitle = {ICALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3580},
  year      = {2005},
  isbn      = {3-540-27580-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}