J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings. Volume 430 of Lecture Notes in Computer Science, Springer, 1990.
Conference: rex1990
@proceedings{rex:1989,
title = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
year = {1990},
tags = {refinement},
researchr = {https://researchr.org/publication/rex%3A1989},
cites = {0},
citedby = {0},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
conference = {rex},
editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
volume = {430},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-52559-9},
}