BibTeX record conf/dac/BeerBEL96

• > Home > conf/dac/BeerBEL96

@inproceedings{DBLP:conf/dac/BeerBEL96,
  author    = {Ilan Beer and
               Shoham Ben{-}David and
               Cindy Eisner and
               Avner Landver},
  editor    = {Thomas Pennino and
               Ellen J. Yoffa},
  title     = {RuleBase: An Industry-Oriented Formal Verification Tool},
  booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas,
               Nevada, USA, Las Vegas Convention Center, June 3-7, 1996},
  pages     = {655--660},
  publisher = {{ACM} Press},
  year      = {1996},
  url       = {https://doi.org/10.1145/240518.240642},
  doi       = {10.1145/240518.240642},
  timestamp = {Tue, 06 Nov 2018 16:58:17 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/BeerBEL96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}