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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

4 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
Toimittajat	H Treharne, S King, M Henson, S Schneider
Kustantaja	Springer
Sivut	142–161
ISBN (elektroninen)	978-3-540-32007-4
ISBN (painettu)	978-3-540-25559-8
DOI - pysyväislinkit	https://doi.org/10.1007/11415787_9
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2005-04-13; 2005-04-15 - 4th International Conference of B and Z Users Kesto: 13 huhtik. 2005 → 15 huhtik. 2005

Konferenssi

Konferenssi	conference; 2005-04-13; 2005-04-15
Ajanjakso	13/04/05 → 15/04/05

Pääsy asiakirjaan

10.1007/11415787_9

Viittausmuodot

@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 = "Odefinierat/ok{\"a}nt",

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 = "conference; 2005-04-13; 2005-04-15 ; Conference date: 13-04-2005 Through 15-04-2005",

}

Boström, P & Walden, M 2005, An Extension of Event B for Developing Grid Systems. julkaisussa H Treharne, S King, M Henson & S Schneider (toim), Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B. Springer, Sivut 142–161, conference; 2005-04-13; 2005-04-15, 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. toim. / H Treharne; S King; M Henson; S Schneider. Springer, 2005. s. 142–161.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 - Konferensbidrag

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 - conference; 2005-04-13; 2005-04-15

Y2 - 13 April 2005 through 15 April 2005

ER -