Model Checking-Based Analysis Of Multiagent Systems (2001)

Cached

Download Links

by Massimo Benerecetti , Fausto Giunchiglia
Citations:1 - 1 self