Author:
Niewiadomski Artur,Penczek Wojciech
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Ambroszkiewicz, S.: Entish: A language for describing data processing in open distributed systems. Fundam. Inform. 60(1–4), 41–66 (2004)
2. Bell, M.: Introduction to Service-Oriented Modeling. Wiley, Hoboken (2008)
3. Bentahar, J., Yahyaoui, H., Kova, M., Maamar, Z.: Symbolic model checking composite web services using operational and control behaviors. Expert Syst. Appl. 40(2), 508–522 (2013)
4. Lecture Notes in Computer Science;L Bentakouk,2011
5. Bersani, M.M., Cavallaro, L., Frigeri, A., Pradella, M., Rossi, M.: SMT-based verification of LTL specification with integer constraints and its application to runtime checking of service substitutability. In: SEFM, pp. 244–254 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating None-Plans in Order to Find Plans;Software Engineering and Formal Methods;2015