D
[DG07] Manfred Droste et Paul Gastin. Weighted automata and weighted logics. Theoretical Computer Science 380(1-2):69-86. Elsevier, juin 2007. 
@article{tcs380(1-2)-DG,
  author =              {Droste, Manfred and Gastin, Paul},
  title =               {Weighted automata and weighted logics},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {380},
  number =              {1-2},
  pages =               {69-86},
  year =                {2007},
  month =               jun,
}
Liste des auteurs