EEMCS EPrints Service
|
||||||||||||||||
1998
Katoen, J.P. and Lambert, L.
(1998)
Pomsets for message sequence charts.
In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany.
pp. 197-207.
Shaker Verlag.
ISBN 3-8265-3807-2
|
||||||||||||||||