%0 Journal Article %1 journals/fuin/BarbutiT03 %A Barbuti, Roberto %A Tesei, Luca %D 2003 %J Fundam. Informaticae %K dblp %N 2-3 %P 137-150 %T A Decidable Notion of Timed Non-Interference. %U http://dblp.uni-trier.de/db/journals/fuin/fuin54.html#BarbutiT03 %V 54

@article{journals/fuin/BarbutiT03, added-at = {2020-09-18T00:00:00.000+0200}, author = {Barbuti, Roberto and Tesei, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2b1098d3c9ec941551dcb4df14eaad44f/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-03}, interhash = {ba1acf16f3bcfa1b0aaa3f94faf8860d}, intrahash = {b1098d3c9ec941551dcb4df14eaad44f}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {2-3}, pages = {137-150}, timestamp = {2020-09-19T11:35:34.000+0200}, title = {A Decidable Notion of Timed Non-Interference.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin54.html#BarbutiT03}, volume = 54, year = 2003 }