-
1
Formal methods in computer aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000 ; proceedings
Veröffentlicht 2000Inhaltsverzeichnis
Tagungsbericht Buch -
2
ICCAD 2001 November 4 - 8, 2001, Doubletree Hotel, San Jose, CA
Veröffentlicht 2001Inhaltsverzeichnis
Tagungsbericht Buch