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", Fundamenta Informaticae, vol. 51, no. 1: IOS Press, pp. 1–11, 2002.