A decidable notion of timed non-interference (0)

by R Barbuti, L Tesei
Venue:Fundamenta Informaticae