(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-viite (17. p.)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-viite (9. p.)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.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.