Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Model checking Timed CSP

Model checking Timed CSP

P. Armstrong‚ G. Lowe‚ J Ouaknine and A.W Roscoe

Book Title
In Proceedings of HOWARD (Festschrift for Howard Barringer)
Year
2012

Links

See Also

Back to Top