W. P. De Roever

W. P. De Roever

1 books in the database

Books

Formal Techniques in Real-Time and Fault-Tolerant SystemsW. P. De Roever

Formal Techniques in Real-Time and Fault-Tolerant Systems

W. P. De Roever · 1994

Co-authored books and collections

Books that list W. P. De Roever among their authors but not as the lead author: co-written works, collections and compilations.

SemanticsREX Workshop (1992 Beekbergen, Netherlands)

REX Workshop (1992 Beekbergen, Netherlands) · 1993

Foundations of object-oriented languagesREX School/Workshop (1990 Noordwijkerhout, Netherlands)

Foundations of object-oriented languages

REX School/Workshop (1990 Noordwijkerhout, Netherlands) · 1991

Real-time, theory in practiceREX Workshop (1991 Mook, Netherlands)

Real-time, theory in practice

REX Workshop (1991 Mook, Netherlands) · 1992

Current Trends in ConcurrencyJ. W. de Bakker

Current Trends in Concurrency

J. W. de Bakker · 1986