NASA/ADS
NASA/ADS Metrics Report
Metrics for
Forward LTLf Synthesis: DPLL At Work
Citations
| Total citations | 2 | |
| Normalized citations | 2.0 | |
| Refereed citations | 0 | |
| Normalized refereed citations | 0.0 |
Reads
| Total number of reads | 1 | |
| Total number of downloads | 0 |
| Total citations | 2 | |
| Normalized citations | 2.0 | |
| Refereed citations | 0 | |
| Normalized refereed citations | 0.0 |
| Total number of reads | 1 | |
| Total number of downloads | 0 |