Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1991
van Sinderen, M.J. and Widya, I.A.
(1991)
On the design and formal specification of a transaction processing protocol.
In: Proceedings of the IFIP TC/WG6.1 Third International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990, 5-8 Nov 1990, Madrid, Spain.
pp. 411-426.
Elsevier.
ISBN 0 444 89024 6
This list was generated on Thu May 24 07:14:15 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||