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.

Paper

Rafae Bhatti, Elisa Bertino, et al.

Communications of the ACM

Conference paper

Beomseok Nam, Henrique Andrade, et al.

ACM/IEEE SC 2006

Paper

Anupam Gupta, Viswanath Nagarajan, et al.

Operations Research

Conference paper

Erich P. Stuntebeck, John S. Davis II, et al.

HotMobile 2008