Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. On Timed Models and Full Abstraction

On Timed Models and Full Abstraction

Gavin Lowe and Joël Ouaknine

Journal
Electr. Notes Theor. Comput. Sci.
Pages
497−519
Volume
155
Year
2006

Links

See Also

Back to Top