An Extension of Event B for Developing Grid Systems

Pontus Boström; Marina Walden

doi:10.1007/11415787_9

An Extension of Event B for Developing Grid Systems

Pontus Boström
, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

5 Citeringar (Scopus)

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
Redaktörer	H Treharne, S King, M Henson, S Schneider
Förlag	Springer
Sidor	142–161
ISBN (elektroniskt)	978-3-540-32007-4
ISBN (tryckt)	978-3-540-25559-8
DOI	https://doi.org/10.1007/11415787_9
Status	Publicerad - 2005
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	4th International Conference of B and Z Users - Varaktighet: 13 apr. 2005 → 15 apr. 2005

Konferens

Konferens	4th International Conference of B and Z Users
Period	13/04/05 → 15/04/05

Åtkomst av dokument

10.1007/11415787_9

Citera det här

@inproceedings{3182727ebd544f6d8a54bc21e7e11688,

title = "An Extension of Event B for Developing Grid Systems",

author = "Pontus Bostr{\"o}m and Marina Walden",

year = "2005",

doi = "10.1007/11415787\_9",

language = "English",

isbn = "978-3-540-25559-8",

pages = "142–161",

editor = "H Treharne and S King and M Henson and S Schneider",

booktitle = "Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B",

publisher = "Springer",

note = "4th International Conference of B and Z Users ; Conference date: 13-04-2005 Through 15-04-2005",

}

Boström, P & Walden, M 2005, An Extension of Event B for Developing Grid Systems. i H Treharne, S King, M Henson & S Schneider (red), Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B. Springer, s. 142–161, 4th International Conference of B and Z Users, 13/04/05. https://doi.org/10.1007/11415787_9

An Extension of Event B for Developing Grid Systems. / Boström, Pontus; Walden, Marina.
Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B. red. / H Treharne; S King; M Henson; S Schneider. Springer, 2005. s. 142–161.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

T1 - An Extension of Event B for Developing Grid Systems

AU - Boström, Pontus

AU - Walden, Marina

PY - 2005

Y1 - 2005

U2 - 10.1007/11415787_9

DO - 10.1007/11415787_9

M3 - Published conference proceeding

SN - 978-3-540-25559-8

SP - 142

EP - 161

BT - Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B

A2 - Treharne, H

A2 - King, S

A2 - Henson, M

A2 - Schneider, S

PB - Springer

T2 - 4th International Conference of B and Z Users

Y2 - 13 April 2005 through 15 April 2005

ER -