BibTeX record conf/pdes/Dvorak12

download as .bib file

@inproceedings{DBLP:conf/pdes/Dvorak12,
  author       = {V{\'{a}}clav Dvor{\'{a}}k},
  editor       = {Zdenek Brad{\'{a}}c and
                  Frantisek Zezulka},
  title        = {On the complexity and optimization of branching programs for decision
                  diagram machines},
  booktitle    = {11th {IFAC} Conference on Programmable Devices and Embedded Systems,
                  PDeS 2012, Brno, Czech Republic, May 23-25, 2012},
  pages        = {91--96},
  publisher    = {International Federation of Automatic Control},
  year         = {2012},
  url          = {https://doi.org/10.3182/20120523-3-CZ-3015.00020},
  doi          = {10.3182/20120523-3-CZ-3015.00020},
  timestamp    = {Tue, 09 Feb 2021 08:31:49 +0100},
  biburl       = {https://dblp.org/rec/conf/pdes/Dvorak12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}