APA (7th ed.) Citation

Rust, H. (2005). Operational semantics for timed systems: A non-standard approach to uniform modeling of timed and hybrid systems. Springer. https://doi.org/10.1007/b135629

Chicago Style (17th ed.) Citation

Rust, Heinrich. Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Berlin ; New York: Springer, 2005. https://doi.org/10.1007/b135629.

MLA (9th ed.) Citation

Rust, Heinrich. Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Springer, 2005. https://doi.org/10.1007/b135629.