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

Factorizing Proofs in Timed CSP

Jim Davies and Steve Schneider

Crossref
DBLP:conf/mfps/1989
Pages
129−159
Year
1989

Links

See Also

Back to Top