@inproceedings{conf/eurodac/MirF94,
title = {Re-engineering hardware specifications by exploiting design semantics.},
author = {Salvador Mir and Nick Filer},
booktitle = {EURO-DAC},
crossref = {conf/eurodac/1994},
editor = {Jean Mermet},
pages = {336-341},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#MirF94},
year = {1994},
description = {dblp},
date = {2008-04-16}, ee = {http://doi.acm.org/10.1145/198174.198279}, isbn = {0-89791-685-9},
keywords = {dblp }
}
::