@inproceedings{inproceedings5816777e,
title   = {On-the-fly verification of discrete event simulations by means of simulation purposes},
author = {Silva, Paulo Salem da and Melo, Ana Cristina Vieira de},
year = {2011},
publisher = {Society for Computer Simulation International},
booktitle   = {Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium}
}