APA (7th ed.) Citation

Colloquium on Temporal Logic in Specification, Barringer, H., Banieqbal, B., & Pnueli, A. (1989). Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Colloquium on Temporal Logic in Specification, Howard Barringer, B. Banieqbal, and A. Pnueli. Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987 : Proceedings. Berlin ; New York: Springer-Verlag, 1989.

MLA (8th ed.) Citation

Colloquium on Temporal Logic in Specification, et al. Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987 : Proceedings. Springer-Verlag, 1989.