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., 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. 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