Ernst-Rüdiger Olderog

Œuvres (2)

Couverture : Real-time systems

Real-time systems

2008
Couverture : Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

1997