Ernst-Rüdiger Olderog

الكتب
Model Checking, Synthesis, and Learning Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
٢٠٢١
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
٢٠١٧
Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
٢٠٠٩