TY  - BOOK
TI  - 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
SN  - 978-1-665
PY  - 2021///
PB  - IEEE
KW  - Communication
KW  - Computing and Processing
KW  - Networking and Broadcast Technologies
N1  - Proceeding
UR  - https://ieeexplore.ieee.org/servlet/opac?punumber=9814944
ER  -