Donna M. Carter, Ramazan Savas Aygün, Glenn W. Cox, Mary Ellen Weisskopf, Letha H. Etzkorn. The effect of uncontrolled concurrency on model checking. Concurrency - Practice and Experience, 20(12):1419-1438, 2008. [doi]
@article{CarterACWE08,
title = {The effect of uncontrolled concurrency on model checking},
author = {Donna M. Carter and Ramazan Savas Aygün and Glenn W. Cox and Mary Ellen Weisskopf and Letha H. Etzkorn},
year = {2008},
doi = {10.1002/cpe.1265},
url = {http://dx.doi.org/10.1002/cpe.1265},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/CarterACWE08},
cites = {0},
citedby = {0},
journal = {Concurrency - Practice and Experience},
volume = {20},
number = {12},
pages = {1419-1438},
}