Name
Title | ||
|---|---|---|
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings |
Year | Venue | DocType |
|---|---|---|
2007 | ATVA | Conference |
Volume | ISBN | Citations |
4762 | isbn | 33 |
PageRank | References | Authors |
2.00 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kedar S. Namjoshi | 1 | 948 | 50.41 |
| Tomohiro Yoneda | 2 | 353 | 41.62 |
| Teruo Higashino | 3 | 1086 | 119.60 |
| Yoshio Okamura | 4 | 33 | 2.34 |