Robert C. Durbeck
IEEE TACON
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
G. Ramalingam
Theoretical Computer Science
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004
Zohar Feldman, Avishai Mandelbaum
WSC 2010