C
[CCM+94] Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea et Hiromi Hiraishi. Computing Quantitative Characteristics of Finite-State Real-Time Systems. Technical Report CMU-CS-94-147, Computer Science Deparment, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, Mai 1994. 
@techreport{TR-CMU-CS-94-147,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund M.
                         and Marrero, Wilfredo R. and Minea, Marius and
                         Hiraishi, Hiromi},
  title =               {Computing Quantitative Characteristics of
                         Finite-State Real-Time Systems},
  number =              {CMU-CS-94-147},
  year =                {1994},
  month =               may,
  institution =         {Computer Science Deparment, Carnegie Mellon
                         University, Pittsburgh, Pennsylvania, USA},
  type =                {Technical Report},
}
Liste des auteurs