Home > Authors > Willem-Paul de Roever

Willem-Paul de Roever

All books by Willem-Paul de Roever

(Displaying 3 Books)

Concurrency verification

Concurrency verification

W.-P. de Roever

Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems

Hans Langmaack

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Willem-Paul de Roever

Looking for another book by Willem-Paul de Roever? Search for the book by title.