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

David S. Kung

DAC 1998

Paper

Chidanand Apté, Fred Damerau, et al.

ACM Transactions on Information Systems (TOIS)

Paper

Raymond F. Boyce, Donald D. Chamberlin, et al.

CACM

Conference paper

Yun Mao, Hani Jamjoom, et al.

CoNEXT 2006