On WLCDs and the complexity of word-level decision diagrams --- A lower bound for division
From MaRDI portal
Publication:1600657
DOI10.1023/A:1014702331828zbMath1017.68068MaRDI QIDQ1600657
Thomas Weis, Christoph Scholl, Bernd Becker
Publication date: 16 June 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1014702331828
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items