APA (7 वां संस्करण) प्रशस्ति पत्र
Kim Guldstrand Larsen, P. N. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Kim Guldstrand Larsen, Peter Niebert. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers. Berlín, Alemania: Springer.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Kim Guldstrand Larsen, Peter Niebert. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers. Springer.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.