APA (7th ed.) Citation

Kurshan, R. P. (1994). Computer-aided verification of coordinating processes: The automata-theoretic approach. Princeton University Press.

Chicago Style (17th ed.) Citation

Kurshan, R. P. Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach. Princeton, N.J.: Princeton University Press, 1994.

MLA (8th ed.) Citation

Kurshan, R. P. Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach. Princeton University Press, 1994.