Yi, Wang
-
BRICS Report Series No. 46 (1998): RS-46 Clock Difference Diagrams - Articles
Clock Difference Diagrams
Abstract PDF -
BRICS Report Series No. 57 (1996): RS-57 Diagnostic Model-Checking for Real-Time Systems - Articles
Diagnostic Model Checking for Real-Time Systems
Abstract PDF -
BRICS Report Series No. 3 (2000): RS-3 On Memory-Block Traversal Problems in Model Checking Timed Systems - Articles
On Memory-Block Traversal Problems in Model Checking Timed Systems
Abstract PDF -
BRICS Report Series No. 59 (1996): RS-59 Compositional and Symbolic Model-Checking of Real-Time Systems - Articles
Compositional and Symbolic Model-Checking of Real-Time Systems
Abstract PDF -
BRICS Report Series No. 55 (1996): RS-55 A Compositional Proof of a Real-Time Mutual Exclusion Protocol - Articles
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Abstract PDF -
BRICS Report Series No. 60 (1996): RS-60 UPPAAL in 1995 - Articles
UPPAAL in 1995
Abstract PDF -
BRICS Report Series No. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams - Articles
Efficient Timed Reachability Analysis using Clock Difference Diagrams
Abstract PDF -
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