Number of the records: 1
Formal Reasoning in the Bang3 Multi-Agent System
- 1.Beuster, Gerd
Formal Reasoning in the Bang3 Multi-Agent System.
Prague: ICS AS CR, 2003. 16 s. Technical Report, V-889.
http://hdl.handle.net/11104/0125221
Number of the records: 1