Nils gives a course at EASSS 2010 in France
Nils gives a course on "Model Checking Temporal and Strategic Logics" at the 12th European Agent Systems Summer School (EASSS 2010) in St. Etienne in France.
Nils gives a course on "Model Checking Temporal and Strategic Logics" at the 12th European Agent Systems Summer School (EASSS 2010) in St. Etienne in France.