@misc{indiciaea993e6d2606e,
  title = {A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification},
  author = {Miguel Romero and Sergio Ramírez and Camilo Rocha and Frank Valencia},
  year = {2022},
  url = {https://arxiv.org/abs/1909.03819},
  note = {Source identifier: 1909.03819}
}