TY  - RPRT
TI  - A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically
AU  - Diego A. Hollmann
AU  - Maximiliano Cristiá
AU  - Claudia Frydman
PY  - 2014
DO  - 10.1016/j.simpat.2014.07.003
UR  - https://arxiv.org/abs/1406.6937
ID  - 1406.6937
ER  -