Shing-Wu Tung, Jing-Yang Jou. A Logical Fault Model for Library Coherence Checking. J. Inf. Sci. Eng., 14(3):567-586, 1998. [doi]
@article{TungJ98,
title = {A Logical Fault Model for Library Coherence Checking},
author = {Shing-Wu Tung and Jing-Yang Jou},
year = {1998},
url = {http://www.iis.sinica.edu.tw/page/jise/1998/199809_03.html},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/TungJ98},
cites = {0},
citedby = {0},
journal = {J. Inf. Sci. Eng.},
volume = {14},
number = {3},
pages = {567-586},
}