Nabil Hameurlain. A Formal Framework for Component Pr otocols Behavioural Compatibility. In 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India. pages 87-94, IEEE Computer Society, 2006. [doi]
@inproceedings{Hameurlain06,
title = {A Formal Framework for Component Pr otocols Behavioural Compatibility},
author = {Nabil Hameurlain},
year = {2006},
doi = {10.1109/APSEC.2006.4},
url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2006.4},
researchr = {https://researchr.org/publication/Hameurlain06},
cites = {0},
citedby = {0},
pages = {87-94},
booktitle = {13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India},
publisher = {IEEE Computer Society},
isbn = {0-7695-2685-3},
}