APA (7th ed.) Citation

FORMATS (Conference) Uppsala, Sweden), 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.

Chicago Style (17th ed.) Citation

FORMATS (Conference) Uppsala, Sweden), 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.

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.