Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-35746-6_2 | LASER Summer School |
Field | DocType | Citations |
Model checking,Computer science,Theoretical computer science,Bounded function | Conference | 1 |
PageRank | References | Authors |
0.35 | 23 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Patrice Godefroid | 1 | 3622 | 275.78 |
Shuvendu K. Lahiri | 2 | 1424 | 68.18 |