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.

Workshop paper

Robert G. Farrell, Catalina M. Danis, et al.

RecSys 2012

Paper

Frank R. Libsch, S.C. Lien

IBM J. Res. Dev

Paper

Anupam Gupta, Viswanath Nagarajan, et al.

Operations Research

Conference paper

Lerong Cheng, Jinjun Xiong, et al.

ASP-DAC 2008