Andersen, Henrik Reif
-
DAIMI Report Series No. 445 (1993): PB-445 Verification of Temporal Properties of Concurrent Systems - Articles
Verification of Temporal Properties of Concurrent Systems
Abstract PDF -
DAIMI Report Series No. 446 (1993): PB-446 On Reasoning about Infinite-State Systems in the Modal µ-Calculus - Articles
On Reasoning about Infinite-State Systems in the Modal µ-Calculus
Abstract PDF -
DAIMI Report Series No. 420 (1992): PB-420 Local Computation of Simultaneous Fixed-Points - Articles
Local Computation of Simultaneous Fixed-Points
Abstract PDF