APA (7th ed.) Citation

Barringer, H. (1986). Using temporal logic in the compositional specification of concurrent systems. Univ.

Chicago Style (17th ed.) Citation

Barringer, Howard. Using Temporal Logic in the Compositional Specification of Concurrent Systems. Manchester: Univ, 1986.

MLA (9th ed.) Citation

Barringer, Howard. Using Temporal Logic in the Compositional Specification of Concurrent Systems. Univ, 1986.

Warning: These citations may not always be 100% accurate.