布达赫、洛塔尔;克里斯托夫·梅内尔 环境和自动化。二、。 (英语) Zbl 0534.68037号 Elektron公司。通知-藜芦。凯伯内提克 18, 115-139 (1982)。 审核人:D.克里斯蒂 MSC公司:65年第68季度 18B20型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Budach}和\textit{C.Meinel},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息18,115--139(1982;Zbl 0534.68037)
布达赫、洛塔尔;克里斯托夫·梅内尔 环境和Autmata。一、。 (英语) Zbl 0534.68036号 Elektron公司。通知-藜芦。凯伯内提克 18, 3-40 (1982)。 审核人:D.克里斯蒂 MSC公司:65年第68季度 18B20型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Budach}和\textit{C.Meinel},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息18,3--40(1982;Zbl 0534.68036)