CUDA accelerated LTL model checking -- revisited (Q2917270)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: CUDA accelerated LTL model checking -- revisited |
scientific article; zbMATH DE number 6087867
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CUDA accelerated LTL model checking -- revisited |
scientific article; zbMATH DE number 6087867 |
Statements
28 September 2012
0 references
LTL model checking
0 references
CUDA
0 references
OWCTY
0 references
CUDA accelerated LTL model checking -- revisited (English)
0 references
