Author:
Börger Egon,Thalheim Bernhard
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. OMG Unified Modeling Language superstructure (final adopted specification, version 2.0) (2003), http://www.omg.org
2. Web Services Business Process Execution Language version 2.0. OASIS Standard,( April 11,2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
3. Lecture Notes in Computer Science;A. Barros,2005
4. Lecture Notes in Computer Science;A. Barros,2005
5. Batory, D., Börger, E.: Modularizing theorems for software product lines: The Jbook case study,Universal Computer Science,Special ASM Issue(2008): Coupling Design and Verification in Software Product Lines. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 1–4. Springer, Heidelberg (2008)
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献