Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. The timed failures−stability model for Timed CSP

The timed failures−stability model for Timed CSP

A. W. Roscoe and G.M. Reed

Institution
Oxford University Computing Laboratory
Note
also appeared in Theoretical Computer Science‚ Vol 211 (1999)
Number
PRG−119
Year
1996

Links

See Also

Back to Top