Cite
Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification.
MLA
Emerson, E.Allen, et al. “Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification.” Computer Aided Verification, 2000, pp. 508–20. EBSCOhost, https://doi.org/10.1007/10722167_38.
APA
Emerson, E. A., Sistla, A. P., & Rushby, J. (2000). Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification. In Computer Aided Verification (pp. 508–520). https://doi.org/10.1007/10722167_38
Chicago
Emerson, E. Allen, A. Prasad Sistla, and John Rushby. 2000. “Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification.” In Computer Aided Verification, 508–20. doi:10.1007/10722167_38.