CernyM90'

BibTeX

@inproceedings{DBLP:conf/iccad/CernyM90,
  author    = {Eduard Cerny and
               C. Mauras},
  title     = {Tautology Checking Using Cross-Controllability and Cross-Observability
               Relations},
  booktitle = {ICCAD},
  year      = {1990},
  pages     = {34-37},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}