Report - Logica Modale, Temporale e Model Checking · Logica Modale, Temporale e Model Checking Giorgio Delzanno DISI Universit`a di Genova 12 luglio 2010 Indice 1 Introduzione 3 2 Parte I:

Please pass captcha verification before submit form