Zum Hauptinhalt springen

CEEMAS 2005

Person/Speaker: Wojtek Jamroga

Place: Budapest, Hungary

From 15th till 17th September Wojtek Jamroga is attending the 4th International Central and Eastern European Conference on Multi-Agent Systems, where he also presents paper by him and Prof. Dix: "Do Agents Make Model Checking Explode (Computationally)?".

Zurück