Donald C. Craig, Wlodek M. Zuberek. Multicomponent Compatibility and its Verification. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 233-235, IEEE Computer Society, 2007. [doi]
@inproceedings{CraigZ07:0,
title = {Multicomponent Compatibility and its Verification},
author = {Donald C. Craig and Wlodek M. Zuberek},
year = {2007},
doi = {10.1109/ACSD.2007.56},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.56},
tags = {C++},
researchr = {https://researchr.org/publication/CraigZ07%3A0},
cites = {0},
citedby = {0},
pages = {233-235},
booktitle = {Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic},
editor = {Twan Basten and Gabriel Juhás and Sandeep K. Shukla},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-2902-8},
}