Alexandre Mota, Augusto Sampaio. Model-checking CSP-Z: strategy, tool support and industrial application. Science of Computer Programming, 40(1):59-96, 2001.
@article{MotaS01,
title = {Model-checking CSP-Z: strategy, tool support and industrial application},
author = {Alexandre Mota and Augusto Sampaio},
year = {2001},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/MotaS01},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {40},
number = {1},
pages = {59-96},
}