%0 Conference Paper %1 conf/ecbs/MouakherSA08 %A Mouakher, Inès %A Souquières, Jeanine %A Alexandre, Francis %B ECBS %D 2008 %I IEEE Computer Society %K dblp %P 136-145 %T Protocol Verification in a Software Component-Based Approach. %U http://dblp.uni-trier.de/db/conf/ecbs/ecbs2008.html#MouakherSA08 %@ 978-0-7695-3141-0

@inproceedings{conf/ecbs/MouakherSA08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Mouakher, Inès and Souquières, Jeanine and Alexandre, Francis}, biburl = {https://www.bibsonomy.org/bibtex/25564ce6975dc8bc4175a8bc4d98cf073/dblp}, booktitle = {ECBS}, crossref = {conf/ecbs/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.16}, interhash = {b42ff9d28afa519605de89fae7cbcb0b}, intrahash = {5564ce6975dc8bc4175a8bc4d98cf073}, isbn = {978-0-7695-3141-0}, keywords = {dblp}, pages = {136-145}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:10:38.000+0200}, title = {Protocol Verification in a Software Component-Based Approach.}, url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2008.html#MouakherSA08}, year = 2008 }