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

Alessandro Morari, Roberto Gioiosa, et al.

IPDPS 2011

Conference paper

Zohar Feldman, Avishai Mandelbaum

WSC 2010

Paper

Sonia Cafieri, Jon Lee, et al.

Journal of Global Optimization

Workshop paper

Yao Qi, Raja Das, et al.

ISSTA 2009