Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. The successes and failures of behavioural models

The successes and failures of behavioural models

A. W. Roscoe‚ R. Forster and G.M. Reed

Book Title
Millennial Perspectives in Computer Science
Publisher
Palgrave
Year
2000

Links

See Also

Back to Top