BibTeX record conf/glvlsi/PisiniTCMS00

download as .bib file

@inproceedings{DBLP:conf/glvlsi/PisiniTCMS00,
  author       = {V. K. Pisini and
                  Sofi{\`{e}}ne Tahar and
                  Paul Curzon and
                  Otmane A{\"{\i}}t Mohamed and
                  Xiaoyu Song},
  editor       = {Majid Sarrafzadeh and
                  Prithviraj Banerjee and
                  Kaushik Roy},
  title        = {Formal hardware verification by integrating {HOL} and {MDG}},
  booktitle    = {Proceedings of the 10th {ACM} Great Lakes Symposium on {VLSI} 2000,
                  Chicago, Illinois, USA, March 2-4, 2000},
  pages        = {23--28},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/330855.330947},
  doi          = {10.1145/330855.330947},
  timestamp    = {Tue, 06 Nov 2018 16:59:34 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/PisiniTCMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics