EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 3. 2008
Harju, J. and Heijenk, G.J. and Langendörfer, P. and Siris, V.A., ed.
(2008)
Wired / Wireless Internet Communications: 6th International Conference, WWIC 2008, Tampere, Finland, May 2008, Proceedings.
Lecture Notes in Computer Science 5031.
Springer Verlag, Berlin / Heidelberg.
ISSN 0302-9743
ISBN 978-3-540-68805-1
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
Firley, T. and Gehrke, T. and Rensink, A.
(1998)
Spezifikation eines RPC-Speichers mit der Sprache ProFun.
In: Formale Beschreibungstechniken für verteilte Systeme, Cottbus, Germany.
pp. 136-147.
Shaker Verlag.
ISBN 3-8265-3807-2
This list was generated on Thu May 24 07:02:32 CEST 2012. |
||||||||||||||||