GEM: A tool for concurrency specification and verification
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Localized representation and planning methods for parallel domains
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Localized representation and planning methods for parallel domains
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |