Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Langendörfer, P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.


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


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 Mon May 29 02:38:05 CEST 2017.