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

Michael D. Moffitt

ICCAD 2009

Paper

Gal Badishi, Idit Keidar, et al.

IEEE TDSC

Conference paper

B.K. Boguraev, Mary S. Neff

HICSS 2000

Paper

Arun Viswanathan, Nancy Feldman, et al.

IEEE Communications Magazine