Leue, Stefan

Leue

Stefan

Suchergebnisse Publikationen

Gerade angezeigt 1 - 2 von 2

Beitrag zu einem Sammelband
From SDL specifications to optimized parallel protocol implementations
(1994) Leue, Stefan; Oechslin, Philipp
Erschienen in: NEUFIELD, Gerald, ed. and others. Protocols for high speed networks IV : [fourth IFIP Workshop on Protocols for High Speed Networks in Vancouver]. London: Chapman & Hall, 1994, pp. 308-327. Available under: doi: 10.1007/978-0-387-34885-8_19
Beitrag zu einem Sammelband
On the semantics of message sequence charts
(1993) Ladkin, Peter B.; Leue, Stefan
Erschienen in: KÖNIG, Hartmut, ed.. Formale Methoden für verteilte Systeme. München [u.a.]: Saur, 1993, pp. 88-104. ISBN 3-598-22409-5