Author:
Salaün Gwen,Kramer Jeff,Lang Frédéric,Magee Jeff
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;T. Basten,1999
2. Lecture Notes in Computer Science;D. Bergamini,2005
3. Butler, M.: Csp2B: A Practical Approach to Combining Csp and B. Formal Aspects of Computing 12(3), 182–198 (2000)
4. Lecture Notes in Computer Science;B. Dutertre,1997
5. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Tool Support for Model-Based Engineering of Web Service Compositions. In: Proc. of ICWS 2005, pp. 95–101. IEEE Computer Society Press, Los Alamitos (2005)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献