| | Model Checking Multiagent Systems |
Has publishing details
8(3):401-423, 1998
Has title
Model Checking Multiagent Systems
Has where published
J. Log. Comput.
Has year
1998
Has author
Massimo Benerecetti +, Fausto Giunchiglia +, Luciano Serafini +
Has identifier
DBLP:journals/logcom/BenerecettiGS98 +
Categories Journal Paper +
|
