Author:
Back Ralph-Johan,Butler Michael
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Decomposition tool for event-B;Software: Practice and Experience;2011-01-23
2. Of Probabilistic wp and CSP—and Compositionality;Communicating Sequential Processes. The First 25 Years;2005
3. A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems;ZB 2005: Formal Specification and Development in Z and B;2005
4. Structuring Retrenchments in B by Decomposition;FME 2003: Formal Methods;2003
5. Do Not Read This;FME 2002:Formal Methods—Getting IT Right;2002