Julian C. Bradfield, Colin Stirling. Local Model Checking for Infinite State Spaces. Theoretical Computer Science, 96(1):157-174, 1992.
@article{BradfieldS92,
title = {Local Model Checking for Infinite State Spaces},
author = {Julian C. Bradfield and Colin Stirling},
year = {1992},
tags = {model checking, meta-model, C++, Meta-Environment},
researchr = {https://researchr.org/publication/BradfieldS92},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {96},
number = {1},
pages = {157-174},
}