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

Kafai Lai, Alan E. Rosenbluth, et al.

SPIE Advanced Lithography 2007

Paper

Liat Ein-Dor, Y. Goldschmidt, et al.

IBM J. Res. Dev

Paper

Anupam Gupta, Viswanath Nagarajan, et al.

Operations Research

Paper

Sonia Cafieri, Jon Lee, et al.

Journal of Global Optimization