Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
David S. Kung
DAC 1998
Conference paper
Compression for data archiving and backup revisited
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014