Theo C. Ruys, Niels H. M. Aan de Brugh. MMC: the Mono Model Checker. Electronic Notes in Theoretical Computer Science, 190(1):149-160, 2007. [doi]
@article{RuysB07,
title = {MMC: the Mono Model Checker},
author = {Theo C. Ruys and Niels H. M. Aan de Brugh},
year = {2007},
doi = {10.1016/j.entcs.2007.02.066},
url = {http://dx.doi.org/10.1016/j.entcs.2007.02.066},
tags = {meta-model, C++, Meta-Environment},
researchr = {https://researchr.org/publication/RuysB07},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {1},
pages = {149-160},
}