Home / Authors / Ernst-Rüdiger Olderog, Henning Dierks

Books by Ernst-Rüdiger Olderog, Henning Dierks

All books by this author

1 books found
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verif…
By: Ernst-Rüdiger Olderog, Henning Dierks
View Details