@phdthesis{Alb05-PT,
author = {Marco Alberti},
title = {A Computational Logic-based System for Specification and Verification of Agent Interaction},
school = {University of Ferrara},
year = 2005,
month = {March},
note = {Available at \url{http://docente.unife.it/marco.alberti/alberti-phd-final.pdf/at_download/file}}
}
This file was generated by bibtex2html 1.98.