GPU-PRISM
From MaRDI portal
Software:31370
No author found.
Related Items (4)
Accelerating SpMV multiplication in probabilistic model checkers using GPUs ⋮ Term rewriting on GPUs ⋮ A formal verification technique for behavioural model-to-model transformations ⋮ Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
This page was built for software: GPU-PRISM
