%0 Journal Article %1 journals/corr/abs-1909-03819 %A Romero, Miguel %A Ramírez, Sergio %A Rocha, Camilo %A Valencia, Frank %D 2019 %J CoRR %K dblp %T A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. %U http://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-03819 %V abs/1909.03819

@article{journals/corr/abs-1909-03819, added-at = {2019-09-17T00:00:00.000+0200}, author = {Romero, Miguel and Ramírez, Sergio and Rocha, Camilo and Valencia, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2acaa346ba720e97f263f013a5c227aa8/dblp}, ee = {http://arxiv.org/abs/1909.03819}, interhash = {0f1e1e6c4a2a5a4c1477d8b34fc22f0d}, intrahash = {acaa346ba720e97f263f013a5c227aa8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-18T11:38:33.000+0200}, title = {A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-03819}, volume = {abs/1909.03819}, year = 2019 }