Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
Covid-19 Information
  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