BibTeX record conf/acm/YunYZ87

download as .bib file

@inproceedings{DBLP:conf/acm/YunYZ87,
  author    = {David Y. Y. Yun and
               Y. Yun and
               Chang Nian Zhang},
  title     = {Formal verification of systolic networks using theorem proving techniques
               (abstract only)},
  booktitle = {Proceedings of the 15th {ACM} Annual Conference on Computer Science,
               St. Louis, Missouri, USA, February 16-19, 1987},
  pages     = {362},
  year      = {1987},
  crossref  = {DBLP:conf/acm/1987},
  url       = {https://doi.org/10.1145/322917.322987},
  doi       = {10.1145/322917.322987},
  timestamp = {Tue, 06 Nov 2018 16:58:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acm/YunYZ87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acm/1987,
  editor    = {Pat Davis and
               Vicki McClintock},
  title     = {Proceedings of the 15th {ACM} Annual Conference on Computer Science,
               St. Louis, Missouri, USA, February 16-19, 1987},
  publisher = {{ACM}},
  year      = {1987},
  isbn      = {0-89791-218-7},
  timestamp = {Mon, 08 Nov 2004 12:54:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acm/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics