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

Factorising Proofs in Timed CSP

J. Davies and S. Schneider

Book Title
Real−Time Systems: Theory and Practice
Publisher
North−Holland
Year
1989

Links

See Also

Back to Top