%0 Conference Paper %1 conf/euromicro/BothR10 %A Both, Andreas %A Richter, Dirk %B EUROMICRO-SEAA %D 2010 %I IEEE Computer Society %K dblp %P 94-101 %T Automatic Component Protocol Generation and Verification of Components. %U http://dblp.uni-trier.de/db/conf/euromicro/euromicro2010.html#BothR10 %@ 978-1-4244-7901-6

@inproceedings{conf/euromicro/BothR10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Both, Andreas and Richter, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/2f7cca6be1244ae4811e98f3012cb8815/dblp}, booktitle = {EUROMICRO-SEAA}, crossref = {conf/euromicro/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEAA.2010.30}, interhash = {7d1f5f329d70afd1935023702bd82b70}, intrahash = {f7cca6be1244ae4811e98f3012cb8815}, isbn = {978-1-4244-7901-6}, keywords = {dblp}, pages = {94-101}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:43:34.000+0200}, title = {Automatic Component Protocol Generation and Verification of Components.}, url = {http://dblp.uni-trier.de/db/conf/euromicro/euromicro2010.html#BothR10}, year = 2010 }