TY  - RPRT
TI  - A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification
AU  - Miguel Romero
AU  - Sergio Ramírez
AU  - Camilo Rocha
AU  - Frank Valencia
PY  - 2022
UR  - https://arxiv.org/abs/1909.03819
ID  - 1909.03819
ER  -