Annuncio in bacheca
Avviso Seminario 28/04/2015
Si avvisano gli studenti che il giorno 28/04/2015 dalle ore 16:00 alle 18:00 in Aula Turing si terrà il seminario intitolato Weak Bisimulations for Labelled Transition Systems with Quantitative Aspects.