Book By Ernst Rudiger Olderog And Henning Dierks People (First 1 people) - Page 0

Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Book by Ernst-RĂ¼diger Olderog and Henning Dierks