EEMCS

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

EEMCS EPrints Service


Editor: Manas, J.
Home Policy Brochure Browse Search User Area Contact Help

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 Mon Mar 20 03:27:45 CET 2017.