Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004
Paper
The date refinement calculator for Z specifications
Related
Conference paper
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
György E. Révész
Theoretical Computer Science