Workshop on Model Checking and Artificial Intelligence

Niemelä, I. (Member)

Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

Description

Third Workshop on Model Checking and Artificial Intelligence (MoChArt'05), San Francisco, CA, USA, 27-28.8.2005
Period2005
Event typeWorkshop
Conference number3
LocationSan Francisco, United States, California