@inproceedings {Trang//:09a,
	title = {Verifying Dribble Agents},
	booktitle = {Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes},
	year = {2009},
	month = {May},
	pages = {162{\^a}{\texteuro}{\textquotedblleft}177},
	address = {Budapest Hungary},
	attachments = {http://www.agents.cs.nott.ac.uk/sites/default/files/Doan++:09a.pdf},
	author = {Doan, Thu Trang and Brian Logan and Natasha Alechina},
	editor = {Matteo Baldoni and Jamal Bentahar and John Lloyd and van Riemsdijk, M. Birna}
}