Name
Year | Venue | Field |
|---|---|---|
2010 | WWV | Computation tree logic,Programming language,Model checking,Level of detail,Computer science,Description logic,Theoretical computer science,Decidability,Counterexample |
DocType | Citations | PageRank |
Conference | 4 | 0.46 |
References | Authors | |
14 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Franz Weitl | 1 | 29 | 5.70 |
| Shin Nakajima | 2 | 18 | 4.81 |