Partial-Order Model Checking: A Guide for the Perplexed

Authors:
David K. Probst;Hon F. Li
Affiliations:
-;-
Venue:
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Year:
1991

Citing 0
Cited 2

True Concurrency in Models of Asynchronous Circuit Behavior

Formal Methods in System Design
A syntax-directed translation for the synthesis of delay-insensitive circuits

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract