APA (7th ed.) Citation

(2009). Formal modeling and analysis of timed systems: 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; Proceedings. Berlin [u.a.]: Springer, 2009.

MLA (9th ed.) Citation

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; Proceedings. Springer, 2009.