Kompositioneller Entwurf mit Stochastischen Prozeßalgebren

Ulrich Herzog. Kompositioneller Entwurf mit Stochastischen Prozeßalgebren. 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. Verlag Shaker, 1998.

Abstract

Abstract is missing.