Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova. An Experience on Formal Analysis of a High-Level Graphical SOA Design. In Stefan Gruner, Bernhard Rumpe, editors, FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). Volume 179 of LNI, pages 79-98, GI, 2010.
@inproceedings{BeekMS10,
title = {An Experience on Formal Analysis of a High-Level Graphical SOA Design},
author = {Maurice H. ter Beek and Franco Mazzanti and Aldi Sulova},
year = {2010},
tags = {analysis, design},
researchr = {https://researchr.org/publication/BeekMS10},
cites = {0},
citedby = {0},
pages = {79-98},
booktitle = {FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy)},
editor = {Stefan Gruner and Bernhard Rumpe},
volume = {179},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-273-4},
}