On the problem of checking chase termination - Spezzano, Francesca; Palopoli, Luigi; Greco, Sergio (My University, 2011)
Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011
Keywords: Algoritmi; Sistemi operativi