APA (7th ed.) Citation

Gabbay, D. M., & Ohlbach, H. J. (1994). Temporal logic: First international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Gabbay, Dov M., and Hans Jeurgen Ohlbach. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : Proceedings. Berlin: Springer-Verlag, 1994.

MLA (9th ed.) Citation

Gabbay, Dov M., and Hans Jeurgen Ohlbach. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : Proceedings. Springer-Verlag, 1994.