S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990