Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Translating Timed Automata to Tock−CSP

Translating Timed Automata to Tock−CSP

M. Khattri‚ A.W. Roscoe and J. Ouaknine

Book Title
Parallel and Distributed Computing and Networks/720: Software Engineering
Organisation
ACTA Press
Year
2011

Links

See Also

Back to Top