Quantitative Model Checking PhD School

Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

Description

Attending the school lectures.
Période27 févr. 2012 → 1 mars 2012
Type d'événementFormation
LieuIT University, Copenhagen, DanemarkAfficher sur la carte