Name
Title | ||
|---|---|---|
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings |
Year | Venue | Field |
|---|---|---|
2011 | CAV | Model checking,Software engineering,Concurrency,Computer science,Automation,Software,Artificial intelligence,Formal methods,Robotics,Satisfiability modulo theories,Computer aided verification |
DocType | Volume | ISBN |
Conference | 6806 | isbn |
Citations | PageRank | References |
55 | 7.13 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| cav | 1 | 204 | 43.27 |
| Ganesh Gopalakrishnan | 2 | 1619 | 130.11 |
| Shaz Qadeer | 3 | 3257 | 239.11 |