Dr
Gianpaolo Carlino
(NA)
17/04/2012, 10:25
aggiornamento sul sistema di calcolo
uso delle risorse (e.g. proof on demand)
disponibilita' delle risorse (i.e. # eventi simulabili)