✦ LIBER ✦
Designing fast LTL model checking algorithms for many-core GPUs
✍ Scribed by Jiří Barnat; Petr Bauch; Luboš Brim; Milan Češka
- Book ID
- 116682358
- Publisher
- Elsevier Science
- Year
- 2012
- Tongue
- English
- Weight
- 758 KB
- Volume
- 72
- Category
- Article
- ISSN
- 0743-7315
No coin nor oath required. For personal study only.