T. Ohta, N. Matsumara, Y. Itoh,
"On Constructing a Tool to Verify Programs for Processors Built in Machines,"
Software Maintenance and Reengineering, European Conference on, pp. 52, 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98), 1998.
BibTex
x
@article{
10.1109/CSMR.1998.665733, author = {T. Ohta and N. Matsumara and Y. Itoh}, title = {On Constructing a Tool to Verify Programs for Processors Built in Machines}, journal ={Software Maintenance and Reengineering, European Conference on}, volume = {0}, year = {1998}, isbn = {0-8186-8421-6}, pages = {52}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSMR.1998.665733}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Software Maintenance and Reengineering, European Conference on TI - On Constructing a Tool to Verify Programs for Processors Built in Machines SN - 0-8186-8421-6 SP EP A1 - T. Ohta, A1 - N. Matsumara, A1 - Y. Itoh, PY - 1998 VL - 0 JA - Software Maintenance and Reengineering, European Conference on ER -
T. Ohta, N. Matsumara, Y. Itoh, "On Constructing a Tool to Verify Programs for Processors Built in Machines," csmr, pp.52, 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98), 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb