Actions with Failures in Interval Temporal Logic
Computational Logic in Multi-Agent Systems
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Hi-index | 0.00 |