Publisher
Springer Berlin Heidelberg
Reference63 articles.
1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Batory, D., Börger, E.: Modularizing theorems for software product lines: The Jbook case study. Universal Computer Science 14(12), 2059–2082 (2008)
4. Lecture Notes in Computer Science;E. Börger,1990
5. Lecture Notes in Computer Science;E. Börger,1990
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Execution of Multienterprise Business Processes;2014 IEEE 16th Conference on Business Informatics;2014-07
2. A Domain Specific Language for Describing S-BPM Processes;Communications in Computer and Information Science;2013
3. Nondeterministic Events in Business Processes;Business Process Management Workshops;2013