Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Peter Niebert
,
Kim G. Larsen
Details
OL Work ID
OL27324545W
Find this book
Open Library