{"_id":"KYzsHXfczfwH4gyw4","bibbaseid":"debakker-deroever-rozenberg-stepwiserefinementofdistributedsystemsmodelsformalismscorrectnessrexworkshopmookthenetherlandsmay29june21989proceedings-1990","downloads":0,"creationDate":"2018-09-03T10:39:12.066Z","title":"Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings","author_short":null,"year":1990,"bibtype":"proceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["J.","W."],"propositions":["de"],"lastnames":["Bakker"],"suffixes":[]},{"firstnames":["Willem","P."],"propositions":["de"],"lastnames":["Roever"],"suffixes":[]},{"firstnames":["Grzegorz"],"propositions":[],"lastnames":["Rozenberg"],"suffixes":[]}],"title":"Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings","series":"Lecture Notes in Computer Science","volume":"430","publisher":"Springer","year":"1990","url":"https://doi.org/10.1007/3-540-52559-9","doi":"10.1007/3-540-52559-9","isbn":"3-540-52559-9","timestamp":"Fri, 19 May 2017 13:10:46 +0200","biburl":"https://dblp.org/rec/bib/conf/rex/1989","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/rex/1989,\n editor = {J. W. de Bakker and\n Willem P. de Roever and\n Grzegorz Rozenberg},\n title = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,\n {REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {430},\n publisher = {Springer},\n year = {1990},\n url = {https://doi.org/10.1007/3-540-52559-9},\n doi = {10.1007/3-540-52559-9},\n isbn = {3-540-52559-9},\n timestamp = {Fri, 19 May 2017 13:10:46 +0200},\n biburl = {https://dblp.org/rec/bib/conf/rex/1989},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["de Bakker, J. W.","de Roever, W. P.","Rozenberg, G."],"key":"DBLP:conf/rex/1989","id":"DBLP:conf/rex/1989","bibbaseid":"debakker-deroever-rozenberg-stepwiserefinementofdistributedsystemsmodelsformalismscorrectnessrexworkshopmookthenetherlandsmay29june21989proceedings-1990","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-52559-9"},"downloads":0,"html":""},"search_terms":["stepwise","refinement","distributed","systems","models","formalisms","correctness","rex","workshop","mook","netherlands","june","1989","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}