Pearson, Justin
-
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. 46 (1998): RS-46 Clock Difference Diagrams - Articles
Clock Difference Diagrams
Abstract PDF