T
[TFL10] Claus Thrane, Uli Fahrenberg et Kim Guldstrand Larsen. Quantitative Analysis of Weighted Transition Systems. Journal of Logic and Algebraic Programming 79(7):689-703. Elsevier, octobre 2010. 
@article{jlap79(7)-TFL,
  author =              {Thrane, Claus and Fahrenberg, Uli and Larsen, Kim
                         Guldstrand},
  title =               {Quantitative Analysis of Weighted Transition
                         Systems},
  publisher =           {Elsevier},
  journal =             {Journal of Logic and Algebraic Programming},
  volume =              {79},
  number =              {7},
  pages =               {689-703},
  year =                {2010},
  month =               oct,
}
Liste des auteurs