An Extension of Event B for Developing Grid Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Marina Waldén
Editors: Treharne H, King S, Henson M, Schneider S
Publisher: Springer Verlag
Publication year: 2005
Publisher: Springer
Book title: Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
Title of series: Lecture Notes in Computer Science
Number in series: 3455
Volume number: 3455
Start page: 142
End page: 161
ISBN: 978-3-540-25559-8
eISBN: 978-3-540-32007-4
ISSN: 0302-9743

Last updated on 2019-15-09 at 05:31