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

Journal
(AVoCS 2002) Second Workshop on Automated Verificaiton of Critical Systems
Year
2002

Links

See Also

Back to Top