APA-Zitierstil (7. Ausg.)

(2005). Formal modeling and analysis of timed systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers. Springer.

Chicago-Zitierstil (17. Ausg.)

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2005.

MLA-Zitierstil (9. Ausg.)

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; Revised Selected Papers. Springer, 2005.