Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Conference paper
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006