%0 Conference Paper %1 journals/entcs/Stehr06 %A Stehr, Mark-Oliver %B FSEN %D 2005 %E Arbab, Farhad %E Sirjani, Marjan %I Elsevier %K dblp %P 299-323 %T Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. %U http://dblp.uni-trier.de/db/journals/entcs/entcs159.html#Stehr06 %V 159

@inproceedings{journals/entcs/Stehr06, added-at = {2022-12-15T00:00:00.000+0100}, author = {Stehr, Mark-Oliver}, biburl = {https://www.bibsonomy.org/bibtex/22a00f0dc554735c491823b1bcb4cc0f0/dblp}, booktitle = {FSEN}, crossref = {conf/fsen/2005}, editor = {Arbab, Farhad and Sirjani, Marjan}, ee = {https://doi.org/10.1016/j.entcs.2005.12.073}, interhash = {34cc5b392e38dcfa4adb90aa9f2c1cbc}, intrahash = {2a00f0dc554735c491823b1bcb4cc0f0}, keywords = {dblp}, pages = {299-323}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T18:21:22.000+0200}, title = {Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs159.html#Stehr06}, volume = 159, year = 2005 }