B
[BLP+98] Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise et Wang Yi. Efficient Timed Reachability Analysis using Clock Difference Diagrams. Research Report RS-98-47, Basic Research in Computer Science, Aalborg University, Denmark, décembre 1998. 
@techreport{TR-brics9847,
  author =              {Behrmann, Gerd and Larsen, Kim Guldstrand and
                         Pearson, Justin and Weise, Carsten and Yi, Wang},
  title =               {Efficient Timed Reachability Analysis using Clock
                         Difference Diagrams},
  number =              {RS-98-47},
  year =                {1998},
  month =               dec,
  institution =         {Basic Research in Computer Science, Aalborg
                         University, Denmark},
  type =                {Research Report},
}
Liste des auteurs