Roberto Barbuti, Luca Tesei. A Decidable Notion of Timed Non-Interference. Fundamenta Informaticae, 54(2-3):137-150, 2003. [doi]
@article{BarbutiT03,
title = {A Decidable Notion of Timed Non-Interference},
author = {Roberto Barbuti and Luca Tesei},
year = {2003},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=54&issue=2&spage=137},
researchr = {https://researchr.org/publication/BarbutiT03},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {54},
number = {2-3},
pages = {137-150},
}