Statistics
Publications
1
Citations
18
H-Index
1
Active since
2018
Bardh Hoxha is an author specializing in temporal logic, real-time systems, and systems engineering.
Publications per year
2018–2018
1
1
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha et al. · EPiC series in computing · 2018 · 18 citations · Full text
1–1 of 1