(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-čujuhus (17. p.)Formal 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-čujuhus (9. p.)Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : Proceedings / Uli Fahrenberg, Stavros Tripakis (eds.). 2011.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.