Preserving liveness: Comments on &quot;safety and liveness from a methodological point of view&quot;

Paper

08 Nov 1991

Preserving liveness: Comments on "safety and liveness from a methodological point of view"

No abstract available.

Conference paper

Yigal Hoffner, Simon Field, et al.

EDOC 2004

Paper

Charles H. Bennett, Aram W. Harrow, et al.

IEEE Trans. Inf. Theory

Paper

Sai Zeng, Angran Xiao, et al.

CAD Computer Aided Design

Paper

Oliver Bodemer

IBM J. Res. Dev