External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Deductive Verification of Modular Systems

Bernd Finkbeiner, Zohar Manna, Henny Sipma. Deductive Verification of Modular Systems. In Willem P. de Roever, Hans Langmaack, Amir Pnueli, editors, Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Volume 1536 of Lecture Notes in Computer Science, pages 239-275, Springer, 1997. [doi]

Authors

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google

Zohar Manna

This author has not been identified. Look up 'Zohar Manna' in Google

Henny Sipma

This author has not been identified. Look up 'Henny Sipma' in Google
runs on