%0 Conference Paper %1 conf/coopis/NguMW94 %A Ngu, Anne H. H. %A Meersman, Robert %A Weigand, Hans %B CoopIS %D 1994 %E Brodie, Michael L. %E Jarke, Matthias %E Papazoglou, Mike P. %I World Scientific %K dblp %P 15-22 %T Specification and Verification of Communication Constraints for Interoperable Transactions. %U http://dblp.uni-trier.de/db/conf/coopis/coopis94.html#NguMW94

@inproceedings{conf/coopis/NguMW94, added-at = {2019-08-08T00:00:00.000+0200}, author = {Ngu, Anne H. H. and Meersman, Robert and Weigand, Hans}, biburl = {https://www.bibsonomy.org/bibtex/226100b9999b77478c8fdf841861d6b3a/dblp}, booktitle = {CoopIS}, crossref = {conf/coopis/1994}, editor = {Brodie, Michael L. and Jarke, Matthias and Papazoglou, Mike P.}, interhash = {78756a93345f64b1a747edbcb81c7b2f}, intrahash = {26100b9999b77478c8fdf841861d6b3a}, keywords = {dblp}, pages = {15-22}, publisher = {World Scientific}, timestamp = {2019-09-10T11:45:35.000+0200}, title = {Specification and Verification of Communication Constraints for Interoperable Transactions.}, url = {http://dblp.uni-trier.de/db/conf/coopis/coopis94.html#NguMW94}, year = 1994 }