Annuncio in bacheca
Avviso Seminario 15/04/2014
Il giorno 15/04/2014 dalle ore 16:00 alle ore 18:00 presso l’Aula Turing del Collegio Raffaello si terrà un seminario intitolato “ULTraS: A Uniform Framework for Nondeterministic, Probabilistic, and Timed Process Models and Behavioral Equivalences“.