Multilevel verification of supercomputers: timing analysis and physical design management

Moscow

177 pp.