BorrioneBMRS03'

@inproceedings{DBLP:conf/vlsi/BorrioneBMRS03,
  author    = {Dominique Borrione and
               Menouer Boubekeur and
               Laurent Mounier and
               Marc Renaudin and
               Antoine Sirianni},
  title     = {Validation of asynchronous circuit specifications using
               IF/CADP},
  booktitle = {VLSI-SOC},
  year      = {2003},
  pages     = {86-91},
  crossref  = {DBLP:conf/vlsi/2003soc},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vlsi/2003soc,
  editor    = {Manfred Glesner and
               Ricardo Augusto da Luz Reis and
               Hans Eveking and
               Vincent John Mooney III and
               Leandro Soares Indrusiak and
               Peter Zipf},
  title     = {IFIP VLSI-SoC 2003, IFIP WG 10.5 International Conference
               on Very Large Scale Integration of System-on-Chip, Darmstadt,
               Germany, 1-3 December 2003},
  booktitle = {VLSI-SoC},
  publisher = {Technische Universit{\"a}t Darmstadt, Insitute of Microelectronic
               Systems},
  year      = {2003},
  isbn      = {3-901882-17-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}