International workshop on Formal Modeling and Analysis of Timed Systems :Marseille, France, Larsen, K. G., & Niebert, P. Formal modeling and analysis of timed systems: First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers. Springer.
Lua i Stíl Chicago (17ú heag.)International workshop on Formal Modeling and Analysis of Timed Systems :Marseille, France, Kim Guldstrand Larsen, agus Peter Niebert. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : Revised Papers. Berlin [etc.]: Springer.
Lua MLA (8ú heag.)International workshop on Formal Modeling and Analysis of Timed Systems :Marseille, France, et al. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : Revised Papers. Springer.