Yan Jin, Charles Lakos, Robert Esser. Modular Consistency Analysis of Component-Based Design. Australian Computer Journal, 36(3):187-208, 2004.
@article{JinLE04,
title = {Modular Consistency Analysis of Component-Based Design},
author = {Yan Jin and Charles Lakos and Robert Esser},
year = {2004},
tags = {rule-based, analysis, consistency, design},
researchr = {https://researchr.org/publication/JinLE04},
cites = {0},
citedby = {0},
journal = {Australian Computer Journal},
volume = {36},
number = {3},
pages = {187-208},
}