SpringerLink (Online service) & Rust, H. (2005). Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Springer-Verlag GmbH..
Chicago Style (17th ed.) CitationSpringerLink (Online service) and Heinrich Rust. Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Berlin Heidelberg: Springer-Verlag GmbH., 2005.
MLA (8th ed.) CitationSpringerLink (Online service) and Heinrich Rust. Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Springer-Verlag GmbH., 2005.
Warning: These citations may not always be 100% accurate.