Cita APA (7a ed.)
Kim Guldstrand Larsen, P. N. (2004). Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers. Springer.
Cita estilo Chicago (17a ed.)
Kim Guldstrand Larsen, Peter Niebert. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers. Berlín, Alemania: Springer, 2004.
Cita MLA (9a ed.)
Kim Guldstrand Larsen, Peter Niebert. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers. Springer, 2004.
Precaución: Estas citas no son 100% exactas.