External Links

Cite Key

Statistics

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

PDF

Tags

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.

Searching for a Solution to Program Verification=Equation Solving in CCS

Raul Monroy, Alan Bundy, Ian Green. Searching for a Solution to Program Verification=Equation Solving in CCS. In Osvaldo Cairó, Luis Enrique Sucar, Francisco J. Cantu, editors, MICAI 2000: Advances in Artificial Intelligence, Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000, Proceedings. Volume 1793 of Lecture Notes in Computer Science, pages 1-12, Springer, 2000.

Authors

Raul Monroy

This author has not been identified. Look up 'Raul Monroy' in Google

Alan Bundy

This author has not been identified. Look up 'Alan Bundy' in Google

Ian Green

This author has not been identified. Look up 'Ian Green' in Google
runs on