TY  - RPRT
TI  - Memoryless concretization relation
AU  - Julien Calbert
AU  - Sébastien Mattenet
AU  - Antoine Girard
AU  - Raphaël M. Jungers
PY  - 2024
UR  - https://arxiv.org/abs/2403.09556
ID  - 2403.09556
ER  -