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

Pubblicazioni di ateneo

Found 1 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Luca Tesei  [Clear All Filters]
2001
Barbuti, R., N. De Francesco, A. Santone, and L. Tesei, "A Notion of Non-Interference for Timed Automata", Concurrency Specification and Programming, 2001, Warsaw, Poland, pp. 6-15, 2001.