Yi Deng, Shi-Kuo Chang, Xiaola Lin. Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems. International Journal of Software Engineering and Knowledge Engineering, 4(4):427-450, 1994. [doi]
@article{DengCL94,
title = {Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems},
author = {Yi Deng and Shi-Kuo Chang and Xiaola Lin},
year = {1994},
doi = {10.1142/S0218194094000210},
url = {http://dx.doi.org/10.1142/S0218194094000210},
tags = {analysis, design},
researchr = {https://researchr.org/publication/DengCL94},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {4},
number = {4},
pages = {427-450},
}