![](/img/cover-not-exists.png)
[ACM Press the 2013 International Workshop - Lugano, Switzerland (2013.07.15-2013.07.15)] Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications - QASBA 2013 - Verification of variable service orchestrations using model checking
Suloglu, Selma, Aktunc, Riza, Yucefaydalı, MustafaYear:
2013
Language:
english
DOI:
10.1145/2489300.2489337
File:
PDF, 703 KB
english, 2013