SpringerLink (Online service), Raskin, J., & Thiagarajan, P. (2007). Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (1st ed. 2007.). Springer Berlin Heidelberg : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Jean-Francois Raskin, y P.S Thiagarajan. Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.
Cita MLA (8a ed.)SpringerLink (Online service), et al. Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. 1st ed. 2007. Springer Berlin Heidelberg : Imprint: Springer, 2007.