B. Wagle
EJOR
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
Fan Zhang, Junwei Cao, et al.
IEEE TETC