External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Systematic Approach to Atomicity Decomposition in Event-B

Asieh Salehi Fathabadi, Michael Butler, Abdolbaghi Rezazadeh. A Systematic Approach to Atomicity Decomposition in Event-B. In George Eleftherakis, Mike Hinchey, Mike Holcombe, editors, Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Volume 7504 of Lecture Notes in Computer Science, pages 78-93, Springer, 2012. [doi]

Authors

Asieh Salehi Fathabadi

This author has not been identified. Look up 'Asieh Salehi Fathabadi' in Google

Michael Butler

This author has not been identified. Look up 'Michael Butler' in Google

Abdolbaghi Rezazadeh

This author has not been identified. Look up 'Abdolbaghi Rezazadeh' in Google
runs on