Bingqing Xu, Lichen Zhang. Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory. In IEEE 16th International Conference on Computational Science and Engineering, CSE 2013, 3-5 December, 2013, Sydney, Australia. pages 588-594, IEEE, 2013. [doi]
@inproceedings{XuZ13-20, title = {Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory}, author = {Bingqing Xu and Lichen Zhang}, year = {2013}, doi = {10.1109/CSE.2013.93}, url = {http://doi.ieeecomputersociety.org/10.1109/CSE.2013.93}, researchr = {https://researchr.org/publication/XuZ13-20}, cites = {0}, citedby = {0}, pages = {588-594}, booktitle = {IEEE 16th International Conference on Computational Science and Engineering, CSE 2013, 3-5 December, 2013, Sydney, Australia}, publisher = {IEEE}, }