Author:
Boström Pontus,Waldén Marina
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science;J.R. Abrial,2005
3. Abrial, J.R., Mussat, L.: Event B Reference Manual (accessed 10.08, 2001), http://www.atelierb.societe.com/ressources/evt2b/~eventb_reference_manual.pdf
4. Back, R.J.R., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium of Principles of Distributed Computing, pp. 131–142 (1983)
5. Lecture Notes in Computer Science;P. Boström,2005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献