Ernst-Rüdiger Olderog profile picture

Ernst-Rüdiger Olderog

Is this your author profile? Create an account to customize it!

Stand Alone

Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Programmverifikation Sequentielle, parallele und verteilte Programme
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Ernst-Rüdiger Olderog — Books & Biography | Menrva Books | MenrvaBooks