1
Concurrency, Compositionality, and Correctness [E-Book] : Essays in Honor of Willem-Paul de Roever /
Dams, Dennis
2010
Other Personal Name(s):
“...Hannemann, Ulrich...”2010
Full text