Elisabeth Ball

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Elisabeth Ball, Michael Butler: Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. Methods, Models and Tools for Fault Tolerance 2009: 104-129

	2009
1		Elisabeth Ball, Michael Butler: Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. Methods, Models and Tools for Fault Tolerance 2009: 104-129

Coauthor Index