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 Apr 24 03:08:57 CEST 2017.