BibTeX record conf/cats/HenshallSSW09

download as .bib file

@inproceedings{DBLP:conf/cats/HenshallSSW09,
  author       = {Kevin Henshall and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Leigh Whiting},
  editor       = {Rod Downey and
                  Prabhu Manyem},
  title        = {Boolean Affine Approximation with Binary Decision Diagrams},
  booktitle    = {Theory of Computing 2009, Fifteenth Computing: The Australasian Theory
                  Symposium, {CATS} 2009, Wellington, New Zealand, January 2009},
  series       = {{CRPIT}},
  volume       = {94},
  pages        = {119--127},
  publisher    = {Australian Computer Society},
  year         = {2009},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV94Henshall.html},
  timestamp    = {Mon, 08 Feb 2021 13:26:47 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/HenshallSSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics