%0 Conference Paper %1 conf/memocode/KugeleMMW16 %A Kugele, Stefan %A Marmsoler, Diego %A Mata, Nuria %A Werther, Kai %B MEMOCODE %D 2016 %I IEEE %K %P 133-142 %T Verification of component architectures using mode-based contracts. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2016.html#KugeleMMW16 %@ 978-1-5090-2791-0

@inproceedings{conf/memocode/KugeleMMW16, added-at = {2023-12-13T01:10:58.000+0100}, author = {Kugele, Stefan and Marmsoler, Diego and Mata, Nuria and Werther, Kai}, biburl = {https://www.bibsonomy.org/bibtex/286baf8386e4021b88228cb516da62fc0/admin}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2016}, ee = {https://doi.org/10.1109/MEMCOD.2016.7797758}, interhash = {6de5095c6c3d7c501a388f738a442e96}, intrahash = {86baf8386e4021b88228cb516da62fc0}, isbn = {978-1-5090-2791-0}, keywords = {}, pages = {133-142}, publisher = {IEEE}, timestamp = {2023-12-13T01:10:58.000+0100}, title = {Verification of component architectures using mode-based contracts.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2016.html#KugeleMMW16}, year = 2016 }