Dominique Borrione
AuthID: R-00H-A52
1
TITLE: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
AUTHORS: Dominique Borrione; Wolfgang J. Paul;
PUBLISHED: 2005, SOURCE: CHARME, VOLUME: 3725
AUTHORS: Dominique Borrione; Wolfgang J. Paul;
PUBLISHED: 2005, SOURCE: CHARME, VOLUME: 3725
INDEXED IN: 
DBLP
DBLP