TY - RPRT TI - On the homology language of HDA models of transition systems AU - Thomas Kahl PY - 2022 UR - https://arxiv.org/abs/2208.02286 ID - 2208.02286 ER -