Bengtsson, Johan
-
BRICS Report Series Nr. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems - Artikler
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 60 (1996): RS-60 UPPAAL in 1995 - Artikler
UPPAAL in 1995
Resumé PDF (English)