Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Designing Fast LTL Model Checking Algorithms for Many−Core GPUs

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs

J. Barnat‚ P. Bauch‚ L. Brim and M. Češka

ISSN
0743−7315
Journal
Journal of Parallel and Distributed Computing
Number
9
Pages
1083–1097
Volume
72
Year
2012

Links

See Also

Back to Top