Volume 56, 2001
Poul Frederick Williams: Formal Verification based on Boolean Expression Diagrams. i-xx, 1-190
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team