DMCA

Model Checking Multi-Agent Programs with CASP (2003)

Cached

Download Links

by Rafael H. Bordini , Michael Fisher , Carmen Pardavila , Willem Visser , Michael Wooldridge
Citations:32 - 12 self