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

Pubblicazioni di ateneo

Found 1 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Vittorini, Valeria  [Clear All Filters]
2002
Mazzocca, N., A. Santone, G. Vaglini, and V. Vittorini, "Efficient model checking of properties of a distributed application: a multimedia case study", Software Testing, Verification and Reliability, vol. 12, no. 1: Wiley Online Library, pp. 3–21, 2002.