Gabbay, D. M., & Ohlbach, H. J. (1994). Temporal logic: First international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings. Springer-Verlag.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रGabbay, Dov M., और Hans Jeurgen Ohlbach. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : Proceedings. Berlin: Springer-Verlag, 1994.
एमएलए (9वां संस्करण) प्रशस्ति पत्रGabbay, Dov M., और Hans Jeurgen Ohlbach. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : Proceedings. Springer-Verlag, 1994.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.