Volume 13, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 13, Issue 3

November 1998

2 articles in this issue

The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours
Olaf Schröer
Ingo Wegener
OriginalPaper Pages: 235 - 253
An Analysis of Bitstate Hashing
Gerard J. Holzmann
OriginalPaper Pages: 289 - 307