| |
| 2008 | ||
|---|---|---|
| 2 | EE | Michael Butler, Divakar Yadav: An incremental development of the Mondex system in Event-B. Formal Asp. Comput. 20(1): 61-77 (2008) |
| 2006 | ||
| 1 | EE | Divakar Yadav, Michael Butler: Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. RODIN Book 2006: 343-363 |
| 1 | Michael Butler | [1] [2] |