BibTeX record conf/dac/AagaardJS99

download as .bib file

@inproceedings{DBLP:conf/dac/AagaardJS99,
  author    = {Mark Aagaard and
               Robert B. Jones and
               Carl{-}Johan H. Seger},
  title     = {Parametric Representations of Boolean Constraints},
  booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
               LA, USA, June 21-25, 1999.},
  pages     = {402--407},
  year      = {1999},
  crossref  = {DBLP:conf/dac/1999},
  url       = {https://doi.org/10.1145/309847.309968},
  doi       = {10.1145/309847.309968},
  timestamp = {Tue, 06 Nov 2018 16:58:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/AagaardJS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1999,
  editor    = {Mary Jane Irwin},
  title     = {Proceedings of the 36th Conference on Design Automation, New Orleans,
               LA, USA, June 21-25, 1999},
  publisher = {{ACM} Press},
  year      = {1999},
  url       = {http://dl.acm.org/citation.cfm?id=309847},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI