×

An improved algorithm for deriving checking experiments. (English) Zbl 0393.94047


MSC:

94C99 Circuits, networks
68Q45 Formal languages and automata
PDFBibTeX XMLCite
Full Text: DOI