Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner. Analysis Techniques for Service Models. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 11-17, IEEE, 2006. [doi]
@inproceedings{ReisigFLMSWWK06,
title = {Analysis Techniques for Service Models},
author = {Wolfgang Reisig and Dirk Fahland and Niels Lohmann and Peter Massuthe and Christian Stahl and Daniela Weinberg and Karsten Wolf and Kathrin Kaschner},
year = {2006},
doi = {10.1109/ISoLA.2006.58},
url = {http://dx.doi.org/10.1109/ISoLA.2006.58},
tags = {meta-model, analysis, Meta-Environment},
researchr = {https://researchr.org/publication/ReisigFLMSWWK06},
cites = {0},
citedby = {0},
pages = {11-17},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
publisher = {IEEE},
}