Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Conference paper
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research