EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Diaz, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

1995

Katoen, J.P. (1995) Causal Behaviours and Nets. In: Application and Theory of Petri Nets 1995, 16th International Conference, June 26-30, 1995, Turin, Italy. pp. 258-278. Lecture Notes in Computer Science 935. Springer-Verlag. ISBN 3-540-60029-9

1989

van Sinderen, M.J. (1989) Formal description of the OSI session layer: session service. In: The formal description technique LOTOS: Results of the Esprit/Sedos project. North-Holland, Amsterdam, pp. 117-151. ISBN 0444872671
Ajubi, I. and Scollo, G. and van Sinderen, M.J. (1989) Formal description of the OSI session layer: introduction. In: The formal description technique LOTOS: Results of the Esprit/Sedos project. North-Holland, Amsterdam, pp. 89-96. ISBN 0444872671

This list was generated on Sun May 28 23:54:50 CEST 2017.