APA ציטוט

(1982). Verifying concurrent processes using temporal logic / Brent T. Hailpern.

Chicago Style (17th ed.) Citation

Verifying Concurrent Processes Using Temporal Logic / Brent T. Hailpern. 1982.

ציטוט MLA

Verifying Concurrent Processes Using Temporal Logic / Brent T. Hailpern. 1982.