Ulrich Hanneman

Books that list Ulrich Hanneman among their authors but not as the lead author: co-written works, collections and compilations.

Concurrency verificationW.-P. de Roever

Concurrency verification

W.-P. de Roever · 2001