No. 10 (1994): RS-10 Monadic Second-order Logic for Parameterized Verification

Published: 1994-05-19

Articles