Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme - Römer, Stefan (Verfasser) (Technische Universität München, 2000)