%0 Conference Paper %1 Mosses:2009:CS:1596486.1596489 %A Mosses, Peter D. %B Proceedings of the 8th international workshop on Specification and verification of component-based systems %C New York, NY, USA %D 2009 %I ACM %K semantic %P 3--10 %R http://doi.acm.org/10.1145/1596486.1596489 %T Component-based semantics %U http://doi.acm.org/10.1145/1596486.1596489 %@ 978-1-60558-680-9

@inproceedings{Mosses:2009:CS:1596486.1596489, acmid = {1596489}, added-at = {2012-03-23T11:52:58.000+0100}, address = {New York, NY, USA}, author = {Mosses, Peter D.}, biburl = {https://www.bibsonomy.org/bibtex/206205b1cbbf0b65ed1cac2a797ab67b0/martin.franke}, booktitle = {Proceedings of the 8th international workshop on Specification and verification of component-based systems}, doi = {http://doi.acm.org/10.1145/1596486.1596489}, file = {:N\:\\literatur\\p3-mosses.pdf:PDF}, groups = {public}, interhash = {4d5eb2434e0721402a101acd1fddbd38}, intrahash = {06205b1cbbf0b65ed1cac2a797ab67b0}, isbn = {978-1-60558-680-9}, keywords = {semantic}, location = {Amsterdam, The Netherlands}, numpages = {8}, pages = {3--10}, publisher = {ACM}, series = {SAVCBS '09}, timestamp = {2012-03-23T11:53:08.000+0100}, title = {Component-based semantics}, url = {http://doi.acm.org/10.1145/1596486.1596489}, username = {martin.franke}, year = 2009 }