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.

Formal Derivation of a Distributed Program in Event B

Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky. Formal Derivation of a Distributed Program in Event B. In Shengchao Qin, Zongyan Qiu, editors, Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Volume 6991 of Lecture Notes in Computer Science, pages 420-436, Springer, 2011. [doi]

Authors

Alexei Iliasov

This author has not been identified. Look up 'Alexei Iliasov' in Google

Linas Laibinis

This author has not been identified. Look up 'Linas Laibinis' in Google

Elena Troubitsyna

This author has not been identified. Look up 'Elena Troubitsyna' in Google

Alexander Romanovsky

This author has not been identified. Look up 'Alexander Romanovsky' in Google
runs on