Theoretical Computer Science: 9th Italian Conference, ICTCS ...
Preview
... 2005, Proceedings Mario Coppo, Elena Lodi, G. Michele Pinna. Checking Risky Events Is Enough for Local Policies Massimo Bartoletti, Pierpaolo Degano, and Gian Luigi Ferrari Dipartimento di Informatica, Universit`a di Pisa, Italy { bartolet, ...