مؤتمر
Advances in Symbolic Model Checking for Multi-agent Systems
العنوان: | Advances in Symbolic Model Checking for Multi-agent Systems |
---|---|
المؤلفون: | Lomuscio, Alessio R. |
المصدر: | 2014 21st International Symposium on Temporal Representation and Reasoning Temporal Representation and Reasoning (TIME), 2014 21st International Symposium on. :4-4 Sep, 2014 |
Relation: | 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781479942282 9781479942275 |
---|---|
تدمد: | 15301311 23326468 |
DOI: | 10.1109/TIME.2014.23 |