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

Yvonne Anne Pignolet, Stefan Schmid, et al.

Discrete Mathematics and Theoretical Computer Science

Conference paper

Nanda Kambhatla

ACL 2004

Paper

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

IBM J. Res. Dev

Paper

Ohad Shamir, Sivan Sabato, et al.

Theoretical Computer Science