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]
@inproceedings{HunterRS05,
title = {Agent-Based Distributed Software Verification},
author = {Chris Hunter and Peter Robinson and Paul A. Strooper},
year = {2005},
url = {http://crpit.com/confpapers/CRPITV38Hunter.pdf},
tags = {rule-based},
researchr = {https://researchr.org/publication/HunterRS05},
cites = {0},
citedby = {0},
pages = {159-164},
booktitle = {Computer Science 2005, Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, NSW, Australia, January/February 2005},
editor = {Vladimir Estivill-Castro},
volume = {38},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {1-920682-20-1},
}