ARTIST Quantitative Model Checking Winter School 2012

February 27th - March 1st 2012      Copenhagen, Denmark organised and funded by ARTIST 


The PhD school is organized by Kim G. Larsen, Axel Legay and Andrzej Wąsowski (program co-chairs), Louis-Marie Traonouez and Fabrizio Biondi (local organizers).

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet