Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Conference paper
A privacy-protecting coupon system
Liqun Chen, Matthias Enzmann, et al.
FC 2005