Entry tags:
Paper accepted: Programming Verifiable Agent Systems
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.
We are pleased to let you know that your paper
ID: 113
Title: Programming Verifiable Heterogeneous Agent Systems
has been accepted.