Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Laure Petrucci
,
Jeremy Sproston
Details
OL Work ID
OL36460093W
Find this book
Goodreads
Open Library