Paper Info
Title
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs.
Year
DOI
Venue
2014
10.1007/978-3-642-54862-8_16
TACAS
Field
DocType
Citations 
Graphics,Model checking,Computer science,Correctness,Parallel computing,Directed graph,Theoretical computer science,Hash function,System requirements specification,State space,Hash table
Conference
10
PageRank 
References 
Authors
0.54
21
2
Name
Order
Citations
PageRank
Anton Wijs120322.84
Dragan Bosnacki227626.95