BibTeX record conf/aspdac/IguchiSMI00

download as .bib file

@inproceedings{DBLP:conf/aspdac/IguchiSMI00,
  author       = {Yukihiro Iguchi and
                  Tsutomu Sasao and
                  Munehiro Matsuura and
                  Atsumu Iseno},
  title        = {A hardware simulation engine based on decision diagrams (short paper)},
  booktitle    = {Proceedings of {ASP-DAC} 2000, Asia and South Pacific Design Automation
                  Conference 2000, Yokohama, Japan},
  pages        = {73--76},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/368434.368525},
  doi          = {10.1145/368434.368525},
  timestamp    = {Thu, 23 Mar 2023 23:58:21 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/IguchiSMI00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics