Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Pigeon: A Specification Language for Mobile Agent Applications
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Hi-index | 0.00 |