Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Thomas M. Cheng
IT Professional
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev