Name
Title | ||
|---|---|---|
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings |
Year | Venue | DocType |
|---|---|---|
1993 | CAV | Conference |
Volume | ISBN | Citations |
663 | isbn | 32 |
PageRank | References | Authors |
10.64 | 0 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gregor Von Bochmann | 1 | 601 | 126.69 |
| David K. Probst | 2 | 103 | 29.79 |