Results
Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
© 2005
Soft cover - Print (ISBN: 978-3-540-25576-5)
Electronic (ISBN: 978-3-540-32008-1)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-32008-1