Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
David Parker
,
Sergiy Bogomolov
Details
OL Work ID
OL28625275W
Find this book
Open Library