Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Ernst-Rüdiger Olderog
,
Werner Damm
Details
OL Work ID
OL27330529W
Find this book
Goodreads
Open Library