%0 Conference Paper %1 conf/apsec/ChenCZLY98 %A Chen, Zhiqiang %A Cau, Antonio %A Zedan, Hussein %A Liu, Xiaodong %A Yang, Hongji %B APSEC %D 1998 %I IEEE Computer Society %K dblp %P 61- %T A Refinement Calculus for the Development of Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/apsec/apsec1998.html#ChenCZLY98 %@ 0-8186-9183-2

@inproceedings{conf/apsec/ChenCZLY98, added-at = {2014-11-25T00:00:00.000+0100}, author = {Chen, Zhiqiang and Cau, Antonio and Zedan, Hussein and Liu, Xiaodong and Yang, Hongji}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2953e5b2c49e3108c7801eff3c203b6e7/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/1998}, ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1998.733588}, interhash = {6c3314ba782127bd7c91e54da2e7906a}, intrahash = {953e5b2c49e3108c7801eff3c203b6e7}, isbn = {0-8186-9183-2}, keywords = {dblp}, pages = {61-}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:20:14.000+0100}, title = {A Refinement Calculus for the Development of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec1998.html#ChenCZLY98}, year = 1998 }