APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Jean-Francois Raskin, and 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.

MLA (8th ed.) Citation

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.