Quantitative Model Checking PhD School

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

Description

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