APA (7 वां संस्करण) प्रशस्ति पत्र
Martin Leucker. Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Martin Leucker. Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers. Berlín, Alemania: Springer.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Martin Leucker. Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers. Springer.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.