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]
Abstract is missing.