FERRANTE Alessandro について
Fondazione Bruno Kessler について
MEMOLI Maurizio について
Universita degli Studi di Salerno について
NAPOLI Margherita について
Universita degli Studi di Salerno について
PARENTE Mimmo について
Universita degli Studi di Salerno について
SORRENTINO Francesco について
Univ. Illinois at Urbana Champaign について
Lecture Notes in Computer Science について
段階 について
CTL について
モデル検査 について
拡張 について