Paper accepted: Programming Verifiable Agent Systems

[purplecat]

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.

Comments

[wellinghall.livejournal.com]

Well done you!