ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, EasyChair, 2020. [doi]
Conference: arch
@proceedings{arch-2020,
title = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
year = {2020},
url = {https://easychair.org/publications/volume/ARCH20},
researchr = {https://researchr.org/publication/arch-2020},
cites = {0},
citedby = {0},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
volume = {74},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}