TY  - RPRT
TI  - DECOVALEX-2019 (Task D: INBEB Final Report)
AU  - Gens, Antonio
AU  - Alcoverro, Jordi
AU  - Blaheta, Radim
AU  - Hasal, Martin
AU  - Michalec, Zdeněk
AU  - Takayama, Yusuke
AU  - Lee, Changsoo
AU  - Lee, Jaewon
AU  - Kim, Geon Young
AU  - Kuo, Chia-Wei
AU  - Kuo, Wan-Jung
AU  - Lin, Chung-Yi
PY  - 2020
DO  - 10.2172/1762807
UR  - https://www.osti.gov/biblio/1762807
ID  - 1762807
ER  -