S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Conference paper
Some experimental results on placement techniques
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
Bowen Zhou, Bing Xiang, et al.
SSST 2008