Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko. Approximation-based Tree Regular Model-Checking. Nord. J. Comput., 14(3):216-241, 2008.
@article{BoichutHK08,
title = {Approximation-based Tree Regular Model-Checking},
author = {Yohan Boichut and Pierre-Cyrille Héam and Olga Kouchnarenko},
year = {2008},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BoichutHK08},
cites = {0},
citedby = {0},
journal = {Nord. J. Comput.},
volume = {14},
number = {3},
pages = {216-241},
}