Global Transaction Support: Formal Specification and Practical Application

Research output: Book/Report › Report › Academic

Original language	Undefined
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	25
Volume	1998
Publication status	Published - 1998

Name	CTIT Technical Report Series
No.	98-10
ISSN (Print)	1381-3625

Keywords

@book{a28348cccb654e84a482c6405b320cee,

title = "Global Transaction Support: Formal Specification and Practical Application",

keywords = "METIS-118595",

author = "P.W.P.J. Grefen and J. Vonk and E.M. Boertjes and Apers, \{Peter M.G.\}",

year = "1998",

language = "Undefined",

volume = "1998",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "98-10",

address = "Netherlands",

}

TY - BOOK

T1 - Global Transaction Support: Formal Specification and Practical Application

AU - Grefen, P.W.P.J.

AU - Vonk, J.

AU - Boertjes, E.M.

AU - Apers, Peter M.G.

PY - 1998

Y1 - 1998

KW - METIS-118595

M3 - Report

VL - 1998

T3 - CTIT Technical Report Series

BT - Global Transaction Support: Formal Specification and Practical Application

PB - Centre for Telematics and Information Technology (CTIT)

ER -