Normal view
MARC view
Digital integrated circuits Design and construction Mathematics Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): FMCAD 2004 (2004 : Austin, Tex.) 20344, Formal methods in computer-aided design :, 2004.