Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. CONSTRUCTING CHECKERS FROM PSL PROPERTIES

CONSTRUCTING CHECKERS FROM PSL PROPERTIES

¸ Stefan Valentin Gheorghita and Radu Grigore

Journal
15th International Conference on Control Systems and Computer Science
Pages
757–762
Volume
2
Year
2005

Links

See Also

Back to Top