@inproceedings{DBLP:conf/hicss/BorrioneBDRRS03,
author = {Dominique Borrione and
Menouer Boubekeur and
Emil Dumitrescu and
Marc Renaudin and
Jean-Baptiste Rigaud and
Antoine Sirianni},
title = {An Approach to the Introduction of Formal Validation in
an Asynchronous Circuit Design Flow},
booktitle = {HICSS},
year = {2003},
pages = {279},
ee = {http://computer.org/proceedings/hicss/1874/track9/187490279babs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
