Name
Title | ||
|---|---|---|
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings |
Year | Venue | Field |
|---|---|---|
1999 | computer aided verification | Model checking,Programming language,Predicate abstraction,Computer science,Correctness,Automated theorem proving,Linear temporal logic,Theoretical computer science,Temporal logic,Formal methods,Symbolic trajectory evaluation |
DocType | Volume | ISBN |
Conference | 1633 | isbn |
Citations | PageRank | References |
34 | 7.02 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nicolas Halbwachs | 1 | 3957 | 426.43 |
| Doron Peled | 2 | 3357 | 273.18 |