Venue (Journal)
SPLT
202
Publications
102
Citations
7
Concepts
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 1 | 1 | 27 |
2 | Computer Science | 1 | 1 | 27 |
3 | Systems Engineering | 1 | 1 | 27 |
4 | Automated Reasoning | 1 | 1 | 27 |
5 | Formal Methods | 1 | 1 | 27 |
SPLT
×
202
Publications
102
Citations
Showing yearly statistics from 2000-2026.
| Year | Citations | |
|---|---|---|
Page 1
Page 1