Jensen, Jakob L.

• 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