A Bibliography of Willem-Paul de Roever

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_1 ◽

2010 ◽

pp. 1-9

Author(s):

Dennis Dams ◽

Ulrich Hannemann ◽

Martin Steffen

Download Full-text