An Extension of Event B for Developing Grid Systems

Pontus Boström, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
EditorsH Treharne, S King, M Henson, S Schneider
PublisherSpringer
Pages142–161
ISBN (Electronic)978-3-540-32007-4
ISBN (Print)978-3-540-25559-8
DOIs
Publication statusPublished - 2005
MoE publication typeA4 Article in a conference publication
Eventconference; 2005-04-13; 2005-04-15 - 4th International Conference of B and Z Users
Duration: 13 Apr 200515 Apr 2005

Conference

Conferenceconference; 2005-04-13; 2005-04-15
Period13/04/0515/04/05

Cite this