![](/img/cover-not-exists.png)
[ACM Press the third annual conference - Seattle, Washington, United States (1999..-..)] Proceedings of the third annual conference on Autonomous Agents - AGENTS '99 - A TLA+ specification for agent communication that enables proofs
Letia, Ioan AlfredYear:
1999
Language:
english
DOI:
10.1145/301136.301276
File:
PDF, 198 KB
english, 1999