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

Document Versions

Verifying BDD Algorithms through Monadic Interpretation –Sava Krstic, John Matthews — 2002 — Verification, Model Checking, and Abstract Interpretation (VMCAI 2002), volume 2294 of LNCS
Verifying BDD Algorithms through Monadic Interpretation –Sava Krstic, John Matthews — 2002 — Verification, Model Checking, and Abstract Interpretation (VMCAI 2002), volume 2294 of LNCS