Stepwise refinement of distributed systems : models, formalisms, correctness : Rex workshop, Mook ,The Netherlands, May 29 - June 2, 1989 : proceedings

J.W. Bakker, de; W.P. Roever, de; G. Rozenberg

doi:10.1007/3-540-52559-9

Stepwise refinement of distributed systems : models, formalisms, correctness : Rex workshop, Mook ,The Netherlands, May 29 - June 2, 1989 : proceedings

J.W. Bakker, de (Editor)
, W.P. Roever, de (Editor)
, G. Rozenberg (Editor)

Mathematics and Computer Science

Research output: Book/Report › Book editing › Academic

15 Citations (Scopus)

Original language	English
Place of Publication	Berlin
Publisher	Springer
ISBN (Print)	3-540-52559-9
DOIs	https://doi.org/10.1007/3-540-52559-9
Publication status	Published - 1990

Publication series

Name	Lecture notes in computer science
Volume	430
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-52559-9

Cite this

@book{1a3075c432cd4e7b9ed93a5ad5d9201f,

title = "Stepwise refinement of distributed systems : models, formalisms, correctness : Rex workshop, Mook ,The Netherlands, May 29 - June 2, 1989 : proceedings",

editor = "\{Bakker, de\}, J.W. and \{Roever, de\}, W.P. and G. Rozenberg",

year = "1990",

doi = "10.1007/3-540-52559-9",

language = "English",

isbn = "3-540-52559-9",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Stepwise refinement of distributed systems : models, formalisms, correctness : Rex workshop, Mook ,The Netherlands, May 29 - June 2, 1989 : proceedings

A2 - Bakker, de, J.W.

A2 - Roever, de, W.P.

A2 - Rozenberg, G.

PY - 1990

Y1 - 1990

U2 - 10.1007/3-540-52559-9

DO - 10.1007/3-540-52559-9

M3 - Book editing

SN - 3-540-52559-9

T3 - Lecture notes in computer science

BT - Stepwise refinement of distributed systems : models, formalisms, correctness : Rex workshop, Mook ,The Netherlands, May 29 - June 2, 1989 : proceedings

PB - Springer

CY - Berlin

ER -