%0 Conference Paper %1 conf/models/ZhouJL12 %A Zhou, Jiale %A Johnsen, Andreas %A Lundqvist, Kristina %B ACES-MB@MoDELS %D 2012 %E Ober, Iulian %I ACM %K dblp %P 43-48 %T Formal execution semantics for asynchronous constructs of AADL. %U http://dblp.uni-trier.de/db/conf/models/acesmb2012.html#ZhouJL12 %@ 978-1-4503-1800-6

@inproceedings{conf/models/ZhouJL12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Zhou, Jiale and Johnsen, Andreas and Lundqvist, Kristina}, biburl = {https://www.bibsonomy.org/bibtex/23db7ccb0ffcc37ce90a476d8b73235f1/dblp}, booktitle = {ACES-MB@MoDELS}, crossref = {conf/models/2012acesmb}, editor = {Ober, Iulian}, ee = {https://doi.org/10.1145/2432631.2432639}, interhash = {da7a82587bd459fa63f9033b07f38fba}, intrahash = {3db7ccb0ffcc37ce90a476d8b73235f1}, isbn = {978-1-4503-1800-6}, keywords = {dblp}, pages = {43-48}, publisher = {ACM}, timestamp = {2018-11-07T12:43:51.000+0100}, title = {Formal execution semantics for asynchronous constructs of AADL.}, url = {http://dblp.uni-trier.de/db/conf/models/acesmb2012.html#ZhouJL12}, year = 2012 }