Dominique Borrione
AuthID: R-00H-A52
1
TÃTULO: 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
AUTORES: Dominique Borrione; Wolfgang J. Paul;
PUBLICAÇÃO: 2005, FONTE: CHARME, VOLUME: 3725
AUTORES: Dominique Borrione; Wolfgang J. Paul;
PUBLICAÇÃO: 2005, FONTE: CHARME, VOLUME: 3725
INDEXADO EM: 
DBLP
DBLP