APA (7th ed.) Citation

(1994). Temporal logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; proceedings. Springer. https://doi.org/10.1007/BFb0013976

Chicago Style (17th ed.) Citation

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; Proceedings. Berlin u.a: Springer, 1994. https://doi.org/10.1007/BFb0013976.

MLA (9th ed.) Citation

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; Proceedings. Springer, 1994. https://doi.org/10.1007/BFb0013976.