APA (7th ed.) Citation

FORMATS (Conference) Uppsala, Sweden), SpringerLink (Online service), Pettersson, P., & Yi, W. (2005). Formal modeling and analysis of timed systems: Third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings. Springer. https://doi.org/10.1007/11603009

Chicago Style (17th ed.) Citation

FORMATS (Conference) Uppsala, Sweden), SpringerLink (Online service), Paul Pettersson, and Wang Yi. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings. Berlin ; New York: Springer, 2005. https://doi.org/10.1007/11603009.

MLA (9th ed.) Citation

FORMATS (Conference) Uppsala, Sweden), et al. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings. Springer, 2005. https://doi.org/10.1007/11603009.