Skip to main content
Book Chapter

An Exercise in the Verification of Multi-Process Programs

  • Manna Z
  • Pnueli A
Springer New York, (1990), 289-301
DOI: 10.1007/978-1-4612-4476-9_34
N/ACitations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Cite

CITATION STYLE

APA

Manna, Z., & Pnueli, A. (1990). An Exercise in the Verification of Multi-Process Programs. In Beauty Is Our Business (pp. 289–301). Springer New York. https://doi.org/10.1007/978-1-4612-4476-9_34

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free