Natasha Alechina's Publications

Verifying Dribble Agents (2009)

By: Doan Thu Trang, Brian Logan, and Natasha Alechina

Download Information

Doan Thu Trang, Brian Logan, and Natasha Alechina (2009). "Verifying Dribble Agents." Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes (pp. 162-177). pdf    

Bibtex citation

@inproceedings{Trang//:09a,
author =    "Doan Thu Trang and Brian Logan and Natasha Alechina",
title =    "Verifying Dribble Agents",
booktitle =    "Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes",
pages =    "162--177",
year =    2009,
editor =    "Matteo Baldoni and Jamal Bentahar and John Lloyd and van Riemsdijk, M. Birna",
address =    "Budapest Hungary",
month =    "May",
}

full list