TY  - RPRT
TI  - Symbolic and Structural Model-Checking
AU  - Yann Thierry-Mieg
PY  - 2021
UR  - https://arxiv.org/abs/2005.12911
ID  - 2005.12911
ER  -