Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Property−based compression strategies

Property−based compression strategies

Irfan Zakiuddin‚ Nick Moffat‚ Michael Goldsmith and Tim Whitworth

Book Title
Proceedings of Second Workshop on Automated Verification of Critical Systems (AVoCS 2002)
Year
2002

Links

See Also

Back to Top