Number of the records: 1

Formal Reasoning in the Bang3 Multi-Agent System

To the basket
Bookmark
1.
BEUSTER, Gerd. Formal Reasoning in the Bang3 Multi-Agent System. Prague: ICS AS CR, 2003. Technical Report, V-889.

Number of the records: 1

For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.