Bounded Model Construction for Monadic Second-Order Logics (2000)

Cached

Download Links

by Abdelwaheb Ayari , David Basin
Venue:In 12th International Conference on Computer-Aided Verification (CAV’00), number 1855 in LNCS
Citations:28 - 2 self