Tesei: A Decidable Notion of Timed Non-interference (0)

by R Barbuti, L
Venue:Fundamenta Informaticae