International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)

View Statistics Email Alert RSS Feed

Description

Event name
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)
 
Start date
25-07-2005
End date
29-07-2005
 
Location
Utrecht, The Netherlands
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Filter:
Author:  Aminof, Benjamin
Author:  Zuleger, Florian

Results 1-1 of 1 (Search time: 0.023 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Automatic Verification of Multi-Agent Systems in Parameterised Grid-EnvironmentsKonferenzbeitrag Inproceedings 2016