APA (7th ed.) Citation

(2005). Formal modeling and analysis of timed systems: Third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).

Chicago Style (17th ed.) Citation

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings / Paul Pettersson, Wang Yi (eds.). 2005.

MLA (9th ed.) Citation

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings / Paul Pettersson, Wang Yi (eds.). 2005.