Braun, Robert D.; Givone, Donald D. An improved algorithm for deriving checking experiments. (English) Zbl 0393.94047 IEEE Trans. Comput. 28, 153-156 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 Show Scanned Page Cited in 1 Review MSC: 94C99 Circuits, networks 68Q45 Formal languages and automata Keywords:Automata; Checking Experiments; Algorithm; Design; Sequential Machines PDFBibTeX XMLCite \textit{R. D. Braun} and \textit{D. D. Givone}, IEEE Trans. Comput. 28, 153--156 (1979; Zbl 0393.94047) Full Text: DOI