Zohar Feldman, Avishai Mandelbaum
WSC 2010
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007