Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassine Lakhnech
,
Sergio Yovine
Details
OL Work ID
OL22659181W
Find this book
Open Library