(2011). Formal modeling and analysis of timed systems: 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.).
Chicago Style (17th ed.) CitationFormal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : Proceedings / Uli Fahrenberg, Stavros Tripakis (eds.). 2011.
MLA (9th ed.) CitationFormal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : Proceedings / Uli Fahrenberg, Stavros Tripakis (eds.). 2011.
Warning: These citations may not always be 100% accurate.