Gaya APA
Braberman, V., Fribourg, L. (2013).
Formal Modeling and Analysis of Timed Systems .
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Braberman, Víctor., Fribourg, Laurent.
"Formal Modeling and Analysis of Timed Systems".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.