Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu. Bounded model checking. Advances in Computers, 58:118-149, 2003.
@article{BiereCCSZ03,
title = {Bounded model checking},
author = {Armin Biere and Alessandro Cimatti and Edmund M. Clarke and Ofer Strichman and Yunshan Zhu},
year = {2003},
tags = {model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/BiereCCSZ03},
cites = {0},
citedby = {0},
journal = {Advances in Computers},
volume = {58},
pages = {118-149},
}