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.

ESP-MC: An Experiment in the Use of Verification Tools

Xiaojun Chen, Paola Inverardi, Carlo Montangero. ESP-MC: An Experiment in the Use of Verification Tools. In Kanchana Kanchanasut, Jean-Jacques Lévy, editors, Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC 95, Pathumthani, Tailand, December 11-13, 1995, Proceedings. Volume 1023 of Lecture Notes in Computer Science, pages 396-410, Springer, 1995.

Authors

Xiaojun Chen

This author has not been identified. Look up 'Xiaojun Chen' in Google

Paola Inverardi

This author has not been identified. Look up 'Paola Inverardi' in Google

Carlo Montangero

This author has not been identified. Look up 'Carlo Montangero' in Google
runs on