Name
Title | ||
|---|---|---|
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings |
Year | Venue | Field |
|---|---|---|
2011 | ATVA | Computer science,International research,Library science |
DocType | Volume | ISBN |
Conference | 6996 | isbn |
Citations | PageRank | References |
41 | 1.89 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| atva | 1 | 68 | 3.54 |
| Tevfik Bultan | 2 | 2481 | 157.95 |
| Pao-ann Hsiung | 3 | 624 | 68.75 |