Lund, Kristian

• BRICS Report Series Nr. 31 (1997): RS-31 Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL - Artikler
  Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
  Resumé  PDF (English)