Heinrich Rust. Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Volume 3456 of Lecture Notes in Computer Science, Springer, 2005.
@book{Rust05:0,
title = {Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems},
author = {Heinrich Rust},
year = {2005},
tags = {semantics, modeling, operational semantics, systematic-approach},
researchr = {https://researchr.org/publication/Rust05%3A0},
cites = {0},
citedby = {0},
volume = {3456},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-25576-1},
}