TY - RPRT TI - Inform: From Compartmental Models to Stochastic Bounded Counter Machines AU - Tim Leys AU - Guillermo A. Perez PY - 2024 UR - https://arxiv.org/abs/2402.09121 ID - 2402.09121 ER -