Correct compilation of specifications to deterministic asynchronous circuits Scott F. SmithAmy E. Zwarico OriginalPaper Pages: 155 - 226
State-space caching revisited Patrice GodefroidGerard J. HolzmannDidier Pirottin OriginalPaper Pages: 227 - 241