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

Pubblicazioni di ateneo

Found 3 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Tesei, Luca  [Clear All Filters]
2002
Barbuti, R., N. De Francesco, A. Santone, and L. Tesei, "A notion of non-interference for timed automata", Fundamenta Informaticae, vol. 51, no. 1: IOS Press, pp. 1–11, 2002.