Max Breitling, Ursula Hinkel, Katharina Spies. Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 63-74, Verlag Shaker, 1998.
Abstract is missing.