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

Daniel Bauer, Luis Garcés Erice, et al.

VLDB 2026

Conference paper

Khalid Abdulla, Andrew Wirth, et al.

ICIAfS 2014

Conference paper

Beomseok Nam, Henrique Andrade, et al.

ACM/IEEE SC 2006

Paper

Victor Valls, Panagiotis Promponas, et al.

IEEE Communications Magazine