Publisher
Springer International Publishing
Reference16 articles.
1. van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press, Cambridge (2011)
2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)
3. LNCS;M Broy,2003
4. Broy, M.: The semantic and methodological essence of message sequence charts. Sci. Comput. Program. SCP 54(2–3), 213–256 (2004)
5. Broy, M.: Service-Oriented systems engineering: specification and design of services and layered architectures – the Janus approach. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems, pp. 47–81. Springer, Dordrecht (2005)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献