Specification and verification of communication constraints for interoperable transactions

A. Ngu, Robert Meersman, Hans Weigand

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	International Journal of Intelligent & Cooperative Information Systems
Volume	2
Publication status	Published - 1994

Cite this

@article{d7d3d1bba1d3462fba6268a2fc055ef1,

title = "Specification and verification of communication constraints for interoperable transactions",

author = "A. Ngu and Robert Meersman and Hans Weigand",

year = "1994",

language = "English",

volume = "2",

journal = "International Journal of Intelligent \& Cooperative Information Systems",

issn = "0218-2157",

}

TY - JOUR

T1 - Specification and verification of communication constraints for interoperable transactions

AU - Ngu, A.

AU - Meersman, Robert

AU - Weigand, Hans

PY - 1994

Y1 - 1994

M3 - Article

SN - 0218-2157

VL - 2

JO - International Journal of Intelligent & Cooperative Information Systems

JF - International Journal of Intelligent & Cooperative Information Systems

ER -