Andersen, Jørgen H.
-
BRICS Report Series No. 13 (1997): RS-13 Compositional Safety Logics - Articles
Compositional Safety Logics
Abstract PDF -
BRICS Report Series No. 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study - Articles
Specification and Automated Verification of Real-Time Behaviour —A Case Study
Abstract PDF -
BRICS Report Series No. 4 (1996): RS-4 A Machine Verified Distributed Sorting Algorithm - Articles
A Machine Verified Distributed Sorting Algorithm
Abstract PDF -
BRICS Report Series No. 45 (1994): RS-45 Automatic Synthesis of Real Time Systems - Articles
Automatic Synthesis of Real Time Systems
Abstract PDF