Jan Lunze. Prozessdiagnose auf der Grundlage eine prädikatenlogischen Prozessbeschreibung. In Günter Hommel, editor, Prozeßrechnersysteme 91, Automatisierungs- und Leitsysteme in den neunziger Jahren, Berlin, 25.-27. Februar 1991, Proceedings. Volume 269 of Informatik-Fachberichte, pages 150-159, Springer, 1991.
Abstract is missing.