Verifying BDD Algorithms through Monadic Interpretation (2002)

Cached

Download Links

by Sava Krstic , John Matthews
Venue:Verification, Model Checking, and Abstract Interpretation (VMCAI 2002), volume 2294 of LNCS
Citations:11 - 4 self