Name
Year | DOI | Venue |
|---|---|---|
2010 | 10.1007/s11083-010-9177-x | Order |
Keywords | Field | DocType |
Scientific Program,Scientific Committee,Home Institute,Software Verification,Repeated Visit | Graph,Discrete mathematics,Mathematics,Software verification | Journal |
Volume | Issue | ISSN |
27 | 3 | 0167-8094 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Dwight Duffus | 1 | 111 | 36.63 |
| Nejib Zaguia | 2 | 64 | 13.31 |