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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
Z. Chen, A. Cau, H. Zedan, X. Liu, H. Yang, "A Refinement Calculus for the Development of Real-Time Systems," apsec, pp.61, Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb