An edition of Operational semantics for timed systems (2005)
a non-standard approach to uniform modeling of timed and hybrid systems
By Heinrich Rust
Publish Date
2005
Publisher
Springer
Language
eng
Pages
223