Gaya APA
Rust, H.
(2005).
Operational Semantics for Timed Systems
(
1st ed.)
.
Berlin:
Springer.
Gaya MLA
Rust, Heinrich..
"Operational Semantics for Timed Systems".
1st ed.
Berlin:
Springer,
2005.
E Book.