Z. Chen, A. Cau, H. Zedan, X. Liu, H. Yang, "A Refinement Calculus for the Development of Real-Time Systems," Asia-Pacific Software Engineering Conference, pp. 61, Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 1998.

@article{ 10.1109/APSEC.1998.733588,
author = {Z. Chen and A. Cau and H. Zedan and X. Liu and H. Yang},
title = {A Refinement Calculus for the Development of Real-Time Systems},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1998},
isbn = {0-8186-9183-2},
pages = {61},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1998.733588},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - A Refinement Calculus for the Development of Real-Time Systems
SN - 0-8186-9183-2
SP
EP
A1 - Z. Chen,
A1 - A. Cau,
A1 - H. Zedan,
A1 - X. Liu,
A1 - H. Yang,
PY - 1998
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -