مؤتمر
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 |
Full Text Finder | ردمك: | 9781479942282 9781479942275 |
|---|---|
| تدمد: | 15301311 23326468 |
| DOI: | 10.1109/TIME.2014.23 |