Bengtsson, Johan
-
BRICS Report Series No. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems - Articles
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
Abstract PDF -
BRICS Report Series No. 60 (1996): RS-60 UPPAAL in 1995 - Articles
UPPAAL in 1995
Abstract PDF
