Ou Wei, Arie Gurfinkel, Marsha Chechik. On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput., 209(1):20-47, 2011. [doi]
@article{WeiGC11,
title = {On the consistency, expressiveness, and precision of partial modeling formalisms},
author = {Ou Wei and Arie Gurfinkel and Marsha Chechik},
year = {2011},
doi = {10.1016/j.ic.2010.08.001},
url = {http://dx.doi.org/10.1016/j.ic.2010.08.001},
tags = {modeling, consistency},
researchr = {https://researchr.org/publication/WeiGC11},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {209},
number = {1},
pages = {20-47},
}