Author:
Jörges Sven,Steffen Bernhard,Margaria Tiziana
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Jörges, S., Margaria, T., Steffen, B.: Genesys: Service-Oriented Construction of Property Conform Code Generators. Innovations in Systems and Software Engineering 4(4), 361–384 (2008)
2. Lecture Notes in Computer Science;B. Steffen,2007
3. Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer 39(10), 45–55 (2006)
4. Technische Universität Dortmund: jABC Website (2009),
http://www.jabc.de
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献