![]() |
@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}
}
Copyright © 2002-02-26 by Michael Ley (ley@uni-trier.de)