skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 2 results
Author [ Titolo(Desc)] Tipo Anno
Filters: First Letter Of Title is M and Author is Gigliola Vaglini  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
Santone, A., and G. Vaglini, "Model Checking Properties on Reduced Trace Systems", Algorithms, vol. 7, no. 3, pp. 339-362, 2014.
Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular verification of abstract software descriptions", First Conference on the PRInciples of Software Engineering (PRISE'04), Buenos Aires, pp. 61-70, 2004.