Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:03:04 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||