Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-35632-2_4 | RV |
Field | DocType | Citations |
Software deployment,Model checking,Computer science,Theoretical computer science,Fault tolerance,Symbolic execution,Partial order reduction,State space,Scaling,Scalability,Distributed computing | Conference | 4 |
PageRank | References | Authors |
0.40 | 15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jiri Simsa | 1 | 97 | 4.88 |
Randal E. Bryant | 2 | 9204 | 1194.64 |
Garth A. Gibson | 3 | 2517 | 250.27 |
Jason Hickey | 4 | 57 | 7.45 |