APA (7th ed.) Citation

(1994). Temporal logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; Proceedings. Springer, 1994.