Gaya APA

Ostroff, J, S. (1989). Temporal Logic for Real-time Systems . : John Wiley & Sons Incorporated.

Gaya MLA

Ostroff, Jonathan, S.. "Temporal Logic for Real-time Systems". : John Wiley & Sons Incorporated, 1989. Text.