Dams, Dennis; Hannemann, Ulrich; Steffen, Martin A bibliography of Willem-Paul de Roever. (English) Zbl 1274.01075 Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 1-9 (2010). MSC: 01A70 68-03 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{D. Dams} et al., Lect. Notes Comput. Sci. 5930, 1--9 (2010; Zbl 1274.01075) Full Text: DOI
Dams, Dennis (ed.); Hannemann, Ulrich (ed.); Steffen, Martin (ed.) Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. (English) Zbl 1183.68009 Lecture Notes in Computer Science 5930. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). x, 377 p. (2010). MSC: 68-06 68Q60 68Q85 00B30 PDFBibTeX XMLCite \textit{D. Dams} (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (2010; Zbl 1183.68009) Full Text: DOI