Heinz Neumann. Modellierung fehlertoleranter Prozeßautomatisierungssysteme. In Edgar Nett, Heinz Schwärtzel, editors, Fehlertolerierende Rechensysteme, GI-Fachtagung, München, 11.-12. März 1982, Proceedings. Volume 54 of Informatik-Fachberichte, pages 128-142, Springer, 1982.
Abstract is missing.