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