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

Probabilistic and Prioritized Models of Timed CSP

Gavin Lowe

Journal
Theor. Comput. Sci.
Number
2
Pages
315−352
Volume
138
Year
1995

Links

See Also

Back to Top