Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Fan Zhang, Junwei Cao, et al.
IEEE TETC
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006