@dblp

Specification and Verification of Communication Constraints for Interoperable Transactions.

, , and . Int. J. Cooperative Inf. Syst., 3 (1): 47-66 (1994)

Links and resources

Tags