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