BibTeX record conf/vlsi/BorrioneBMRS03a

• > Home > conf/vlsi/BorrioneBMRS03a

@inproceedings{DBLP:conf/vlsi/BorrioneBMRS03a,
  author       = {Dominique Borrione and
                  Menouer Boubekeur and
                  Laurent Mounier and
                  Marc Renaudin and
                  Antoine Siriani},
  editor       = {Manfred Glesner and
                  Ricardo Augusto da Luz Reis and
                  Leandro Soares Indrusiak and
                  Vincent John Mooney III and
                  Hans Eveking},
  title        = {Validation of Asynchronous Circuit Specifications Using {IF/CADP}},
  booktitle    = {{VLSI-SOC:} From Systems to Chips - {IFIP} {TC} 10/ {WG} 10.5 Twelfth
                  International Conference on Very Large Scale Integration of System
                  on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany},
  series       = {{IFIP}},
  volume       = {200},
  pages        = {85--100},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/0-387-33403-3\_6},
  doi          = {10.1007/0-387-33403-3\_6},
  timestamp    = {Tue, 26 Jun 2018 14:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsi/BorrioneBMRS03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}