Jørgensen, Michael E.
-
BRICS Report Series No. 10 (1994): RS-10 Monadic Second-order Logic for Parameterized Verification - Articles
Monadic Second-order Logic for Parameterized Verification
Abstract PDF -
BRICS Report Series No. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice - Articles
MONA: Monadic Second-Order Logic in Practice
Abstract PDF