Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer. From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods in System Design, 23(3):303-327, 2003. [doi]
@article{HenzingerKQ03,
title = {From Pre-Historic to Post-Modern Symbolic Model Checking},
author = {Thomas A. Henzinger and Orna Kupferman and Shaz Qadeer},
year = {2003},
doi = {10.1023/A:1026228213080},
url = {http://dx.doi.org/10.1023/A:1026228213080},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/HenzingerKQ03},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {23},
number = {3},
pages = {303-327},
}