Arndt Lüder, E. Hintze, Christian Schwab. Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 145-154, Herbert Utz Verlag, 1999.
Abstract is missing.