Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006