Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Checking noninterference in the timed world

Checking noninterference in the timed world

A.W Roscoe and J. Huang

Journal
Formal Aspects of Computing
Volume
25
Year
2013

Links

See Also

Back to Top