APA Citation

Ostroff, J. S. (1989). Temporal logic for real time systems. Taunton: Research Studies Pr..

Chicago Style Citation

Ostroff, J. S. Temporal Logic for Real Time Systems. Taunton: Research Studies Pr., 1989.

MLA Citation

Ostroff, J. S. Temporal Logic for Real Time Systems. Taunton: Research Studies Pr., 1989.

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