Paper accepted: Programming Verifiable Agent Systems

[louisedennis]

Thank you very much for submitting a paper to ProMAS 2008.
We are pleased to let you know that your paper

ID: 113
Title: Programming Verifiable Heterogeneous Agent Systems

has been accepted.