Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl. Model checking race-freeness. SIGARCH Computer Architecture News, 36(5):72-79, 2008. [doi]
@article{AbdullaHK08,
title = {Model checking race-freeness},
author = {Parosh Aziz Abdulla and Frédéric Haziza and Mats Kindahl},
year = {2008},
doi = {10.1145/1556444.1556454},
url = {http://doi.acm.org/10.1145/1556444.1556454},
tags = {model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/AbdullaHK08},
cites = {0},
citedby = {0},
journal = {SIGARCH Computer Architecture News},
volume = {36},
number = {5},
pages = {72-79},
}