Anders Gammelgaard

Base System Verification

Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen, 1991 .

Implementation Conditions for Delay Insensitive Circuits

Anders Gammelgaard, 1989, PARLE.

Interaction detection, a logical approach

Jens E. Kristensen, Jens E. Kristensen, Anders Gammelgaard, 1994, FIW.

Tele-Educational Services in a Future Open Service Market

Vincent Wade, Jørgen Bøegh, Mark Riordan, 1997 .

Reuse of Invariants in Proofs of Implementation

Anders Gammelgaard, Anders Gammelgaard, 1991 .