Hongyu Geng, Yang Xiang. Distributed Multi-Agent MSBN: Implementing Verification. In James N. Etheredge, Bill Z. Manaris, editors, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. pages 293-297, AAAI Press, 2000.
@inproceedings{GengX00,
title = {Distributed Multi-Agent MSBN: Implementing Verification},
author = {Hongyu Geng and Yang Xiang},
year = {2000},
researchr = {https://researchr.org/publication/GengX00},
cites = {0},
citedby = {0},
pages = {293-297},
booktitle = {Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA},
editor = {James N. Etheredge and Bill Z. Manaris},
publisher = {AAAI Press},
isbn = {1-57735-113-4},
}