Patrice Godefroid, Pierre Wolper. A Partial Approach to Model Checking. Inf. Comput., 110(2):305-326, May 1994.
@article{GodefroidW94,
title = {A Partial Approach to Model Checking},
author = {Patrice Godefroid and Pierre Wolper},
year = {1994},
month = {May},
tags = {model checking, meta-model, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/GodefroidW94},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {110},
number = {2},
pages = {305-326},
}