C. Dislis, G. Musgrave, R.B. Hughes, "Formal Design Techniques - Theory and Engineering Reality," Asian Test Symposium, pp. 394, Seventh Asian Test Symposium (ATS'98), 1998.

@article{ 10.1109/ATS.1998.741645,
author = {C. Dislis and G. Musgrave and R.B. Hughes},
title = {Formal Design Techniques - Theory and Engineering Reality},
journal ={Asian Test Symposium},
volume = {0},
year = {1998},
issn = {1081-7735},
pages = {394},
doi = {http://doi.ieeecomputersociety.org/10.1109/ATS.1998.741645},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Asian Test Symposium
TI - Formal Design Techniques - Theory and Engineering Reality
SN - 1081-7735
SP
EP
A1 - C. Dislis,
A1 - G. Musgrave,
A1 - R.B. Hughes,
PY - 1998
VL - 0
JA - Asian Test Symposium
ER -