![](/img/cover-not-exists.png)
EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
DENG, YI, CHANG, SHI-KUO, LIN, XIAOLAVolume:
4
Language:
english
Journal:
International Journal of Software Engineering and Knowledge Engineering
DOI:
10.1142/S0218194094000210
Date:
December, 1994
File:
PDF, 1.16 MB
english, 1994