Petersen, Kim G.
-
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. 41 (1999): RS-41 Verification of State/Event Systems by Quotienting - Articles
Verification of State/Event Systems by Quotienting
Abstract PDF