Cite This Item

Copy Citation

MLA
“Reduction of Verification.” Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, by Robert P. Kurshan, Princeton University Press, Princeton, New Jersey, 1994, pp. 153–202, www.jstor.org/stable/j.ctt7ztp96.11. Accessed 14 Aug. 2020.
APA
Kurshan, R. (1994). Reduction of Verification. In Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (pp. 153-202). Princeton, New Jersey: Princeton University Press. Retrieved August 14, 2020, from www.jstor.org/stable/j.ctt7ztp96.11
CHICAGO
Kurshan, Robert P. "Reduction of Verification." In Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, 153-202. Princeton, New Jersey: Princeton University Press, 1994. Accessed August 14, 2020. www.jstor.org/stable/j.ctt7ztp96.11.

Export Citation

Export a RIS file (For EndNote, ProCite, Reference Manager, Zotero, Mendeley…)
Export a Text file (For BibTex)
Note: Always review your references and make any necessary corrections before using. Pay attention to names, capitalization, and dates.