DBLP Record 'conf/hicss/BorrioneBDRRS03'

BibTeX

@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}
}