Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang. A Refinement Calculus for the Development of Real-Time Systems. In 5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC. pages 61, IEEE Computer Society, 1998. [doi]
@inproceedings{ChenCZLY98,
title = {A Refinement Calculus for the Development of Real-Time Systems},
author = {Zhiqiang Chen and Antonio Cau and Hussein Zedan and Xiaodong Liu and Hongji Yang},
year = {1998},
url = {http://csdl.computer.org/dl/proceedings/apsec/1998/9183/00/91830061.pdf},
tags = {refinement},
researchr = {https://researchr.org/publication/ChenCZLY98},
cites = {0},
citedby = {0},
pages = {61},
booktitle = {5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC},
publisher = {IEEE Computer Society},
isbn = {0-8186-9183-2},
}