Hailpern, B. T. (1982). Verifying concurrent processes using temporal logic. Springer-Verlag.
Chicago Style (17th ed.) CitationHailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Berlin: Springer-Verlag, 1982.
MLA (8th ed.) CitationHailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Springer-Verlag, 1982.
Warning: These citations may not always be 100% accurate.
