@inproceedings{ASE-2008-BordiniDFF,
	author        = "Rafael H. Bordini and Louise A. Dennis and Berndt Farwer and Michael Fisher",
	booktitle     = "{Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering}",
	doi           = "10.1109/ASE.2008.17",
	pages         = "69--78",
	publisher     = "{IEEE}",
	title         = "{Automated Verification of Multi-Agent Programs}",
	year          = 2008,
}