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.

Agent-Based Distributed Software Verification

Chris Hunter, Peter Robinson, Paul A. Strooper. Agent-Based Distributed Software Verification. In Vladimir Estivill-Castro, editor, Computer Science 2005, Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, NSW, Australia, January/February 2005. Volume 38 of CRPIT, pages 159-164, Australian Computer Society, 2005. [doi]

Authors

Chris Hunter

This author has not been identified. Look up 'Chris Hunter' in Google

Peter Robinson

This author has not been identified. Look up 'Peter Robinson' in Google

Paul A. Strooper

This author has not been identified. Look up 'Paul A. Strooper' in Google
runs on