SpringerLink (Online service), ICTL, International Conference on Temporal Logic, & Gabbay, D. M. (1994). Temporal logic: First international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), ICTL, International Conference on Temporal Logic, and Dov M. Gabbay. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14 ; Proceedings. Berlin [u.a.]: Springer, 1994.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14 ; Proceedings. Springer, 1994.
Warning: These citations may not always be 100% accurate.