Operational Semantics for Timed Systems

MLA

Rust, Heinrich, Takeo Kanade, and Josef Kittler. Operational Semantics for Timed Systems. Springer Berlin / Heidelberg, 2005.

APA

Rust, H., Kanade, T., & Kittler, J. (2005). Operational Semantics for Timed Systems. Springer Berlin / Heidelberg.

Chicago

Rust, Heinrich, Takeo Kanade, and Josef Kittler. Operational Semantics for Timed Systems. : Springer Berlin / Heidelberg, 2005.