@inproceedings{DBLP:conf/codes/ZhuOHN04,
author = {Qiang Zhu and
Ryosuke Oishi and
Takashi Hasegawa and
Tsuneo Nakata},
title = {System-on-chip validation using UML and CWL},
booktitle = {CODES+ISSS},
year = {2004},
pages = {92-97},
ee = {http://doi.acm.org/10.1145/1016720.1016745},
crossref = {DBLP:conf/codes/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/codes/2004,
editor = {Alex Orailoglu and
Pai H. Chou and
Petru Eles and
Axel Jantsch},
title = {Proceedings of the 2nd IEEE/ACM/IFIP International Conference
on Hardware/Software Codesign and System Synthesis, CODES+ISSS
2004, Stockholm, Sweden, September 8-10, 2004},
booktitle = {CODES+ISSS},
publisher = {ACM},
year = {2004},
isbn = {1-58113-937-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}