Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.29007/tcvw | workshop practical aspects automated reasoning |
Field | DocType | Volume |
Information retrieval,Computer science,Model finding,Provenance | Conference | 31 |
Citations | PageRank | References |
1 | 0.35 | 9 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Salman Saghafi | 1 | 18 | 1.81 |
| Daniel J. Dougherty | 2 | 413 | 32.13 |