Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings

Additional Metadata
Editor	J.W. de Bakker (Jaco) , W.P. de Roever , G. Rozenberg
Persistent URL	doi.org/10.1007/3-540-52559-9
Organisation	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Bakker, J.W, de Roever, W.P, & Rozenberg, G (Eds.). (1990). Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings. In J.W de Bakker, W.P de Roever, & G Rozenberg (Eds.), Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/3-540-52559-9

Publication