%0 Conference Paper %1 conf/soco/DesmetPJV06 %A Desmet, Lieven %A Piessens, Frank %A Joosen, Wouter %A Verbaeten, Pierre %B SC@ETAPS %D 2006 %E Löwe, Welf %E Südholt, Mario %I Springer %K dblp %P 34-49 %T Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. %U http://dblp.uni-trier.de/db/conf/soco/sc2006.html#DesmetPJV06 %V 4089 %@ 3-540-37657-7

@inproceedings{conf/soco/DesmetPJV06, added-at = {2020-06-25T00:00:00.000+0200}, author = {Desmet, Lieven and Piessens, Frank and Joosen, Wouter and Verbaeten, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2f284711b657662d5a9b523002847ad8f/dblp}, booktitle = {SC@ETAPS}, crossref = {conf/soco/2006}, editor = {Löwe, Welf and Südholt, Mario}, ee = {https://doi.org/10.1007/11821946_3}, interhash = {610e482ece0807d0778860a420f22962}, intrahash = {f284711b657662d5a9b523002847ad8f}, isbn = {3-540-37657-7}, keywords = {dblp}, pages = {34-49}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-26T11:39:50.000+0200}, title = {Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems.}, url = {http://dblp.uni-trier.de/db/conf/soco/sc2006.html#DesmetPJV06}, volume = 4089, year = 2006 }