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

A Notion of Non-Interference for Timed Automata

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.