Drechsler, R. Using word-level information in formal hardware verification. (English. Russian original) Zbl 1073.68539 Autom. Remote Control 65, No. 6, 963-977 (2004); translation from Avtom. Telemekh. 2004, No. 6, 140-157 (2004). MSC: 68M99 PDFBibTeX XMLCite \textit{R. Drechsler}, Autom. Remote Control 65, No. 6, 963--977 (2004; Zbl 1073.68539); translation from Avtom. Telemekh. 2004, No. 6, 140--157 (2004) Full Text: DOI
Zaitsev, S. S. Formal description of protocol standards and their realization. (English. Russian original) Zbl 0664.68011 Autom. Remote Control 49, No. 5, 663-669 (1988); translation from Avtom. Telemekh. 1988, No. 5, 143-151 (1988). MSC: 68N99 68N25 PDFBibTeX XMLCite \textit{S. S. Zaitsev}, Autom. Remote Control 49, No. 5, 663--669 (1988; Zbl 0664.68011); translation from Avtom. Telemekh. 1988, No. 5, 143--151 (1988)