Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann. Tool support for the rapid composition, analysis and implementation of reactive services. Journal of Systems and Software, 82(12):2068-2080, 2009. [doi]
@article{KraemerSH09,
title = {Tool support for the rapid composition, analysis and implementation of reactive services},
author = {Frank Alexander Kraemer and Vidar Slåtten and Peter Herrmann},
year = {2009},
doi = {10.1016/j.jss.2009.06.057},
url = {http://dx.doi.org/10.1016/j.jss.2009.06.057},
tags = {composition, analysis},
researchr = {https://researchr.org/publication/KraemerSH09},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {82},
number = {12},
pages = {2068-2080},
}