DBLP Record 'conf/eurodac/CoudertBM90'

BibTeX

@inproceedings{DBLP:conf/eurodac/CoudertBM90,
  author    = {Olivier Coudert and
               Christian Berthet and
               Jean Christophe Madre},
  title     = {Formal boolean manipulations for the verification of sequential
               machines},
  booktitle = {EURO-DAC},
  year      = {1990},
  pages     = {57-61},
  ee        = {http://doi.acm.org/10.1145/949970.949984},
  crossref  = {DBLP:conf/eurodac/1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurodac/1990,
  editor    = {Gordon Adshead and
               Jochen A. G. Jess},
  title     = {European Design Automation Conference, EURO-DAC 1990, Glasgow,
               Scotland, UK, March 12-15, 1990},
  booktitle = {EURO-DAC},
  publisher = {IEEE Computer Society},
  year      = {1990},
  isbn      = {0-8186-2024-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}