4th Workshop on Model Checking and Artificial Intelligence - MoChArt'06

  • Armin Biere (Organiser)

Activity: Participating in or organising an event › Organising a conference, workshop, ...

Period29 Aug 2006
Event typeConference
LocationItalyShow on map

Fields of science

  • 102 Computer Sciences