Sciweavers

CORR
2009
Springer

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

13 years 9 months ago
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Jiri Barnat, Lubos Brim, Milan Ceska
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where CORR
Authors Jiri Barnat, Lubos Brim, Milan Ceska
Comments (0)