APA Style
Sankaranarayanan, S., Vicario, E.
(2015).
Formal Modeling and Analysis of Timed Systems
.
Cham:
Springer.
MLA Style
Sankaranarayanan, Sriram., Vicario, Enrico.
"Formal Modeling and Analysis of Timed Systems".
Cham:
Springer,
2015.
Text.