![]() |
@article{DBLP:journals/todaes/WuWC04,
author = {Lieh-Ming Wu and
Kuochen Wang and
Chuang-Yi Chiu},
title = {A BNF-based automatic test program generator for compatible
microprocessor verification},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {9},
number = {1},
year = {2004},
pages = {105-132},
ee = {http://doi.acm.org/10.1145/966137.966142},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-02-09 by Michael Ley (ley@uni-trier.de)