Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science (3456), Band 3456)
von
Heinrich Rust
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-25576-5
ISBN-10: 3-540-25576-1
Springer
· 2008
