Gerald A. Wilson. A Conceptual Model for Semantic Integrity Checking. In Sixth International Conference on Very Large Data Bases, October 1-3, 1980, Montreal, Quebec, Canada, Proceedings. pages 111-125, IEEE Computer Society, 1980. [doi]
@inproceedings{Wilson80:1,
title = {A Conceptual Model for Semantic Integrity Checking},
author = {Gerald A. Wilson},
year = {1980},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Wilson80%3A1},
cites = {0},
citedby = {0},
pages = {111-125},
booktitle = {Sixth International Conference on Very Large Data Bases, October 1-3, 1980, Montreal, Quebec, Canada, Proceedings},
publisher = {IEEE Computer Society},
}