Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Göser, Manfred Reichert, Peter Dadam. SeaFlows Toolset - Compliance Verification Made Easy. In Pnina Soffer, Erik Proper, editors, Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010. Volume 592 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
@inproceedings{LyKRGRD10,
title = {SeaFlows Toolset - Compliance Verification Made Easy},
author = {Linh Thao Ly and David Knuplesch and Stefanie Rinderle-Ma and Kevin Göser and Manfred Reichert and Peter Dadam},
year = {2010},
url = {http://ceur-ws.org/Vol-592/PaperDemo05.pdf},
researchr = {https://researchr.org/publication/LyKRGRD10},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010},
editor = {Pnina Soffer and Erik Proper},
volume = {592},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}