Formal Methods for the Design of Real-Time Systems
Formal Methods for the Design of Real-Time Systems
Marco Bernardo
,
Flavio Corradini
Details
OL Work ID
OL25650764W
Find this book
Goodreads
Open Library