DMCA

Monadic Second-order Logic for Parameterized Verification (1994)

Cached

Download Links

by Jakob Jensen , Jakob Jensen , Michael Jørgensen , Michael Jrgensen , Nils Klarlund , Nils Klarlund
Venue:Basic Research in Computer Science
Citations:2 - 1 self