Name
Year | Venue | Keywords |
|---|---|---|
1987 | PSTV | temporal logic,specification properties,finite state machines,finite state machine |
Field | DocType | ISBN |
Computation tree logic,Interval temporal logic,Algorithm,Multimodal logic,Finite-state machine,Theoretical computer science,Linear temporal logic,Bunched logic,Temporal logic,Mathematics,Dynamic logic (modal logic) | Conference | 0-444-70293-8 |
Citations | PageRank | References |
4 | 0.57 | 1 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ana R. Cavalli | 1 | 671 | 76.11 |
| François Horn | 2 | 5 | 1.05 |