%0 Conference Paper %1 conf/icfem/ChenYYJ17 %A Chen, Xiaohong %A Yin, Ling %A Yu, Yijun %A Jin, Zhi %B ICFEM %D 2017 %E Duan, Zhenhua %E Ong, Luke %I Springer %K dblp %P 54-70 %T Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2017.html#ChenYYJ17 %V 10610 %@ 978-3-319-68690-5

@inproceedings{conf/icfem/ChenYYJ17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Chen, Xiaohong and Yin, Ling and Yu, Yijun and Jin, Zhi}, biburl = {https://www.bibsonomy.org/bibtex/2117d9031051f17a99440b8e743dfe823/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2017}, editor = {Duan, Zhenhua and Ong, Luke}, ee = {https://doi.org/10.1007/978-3-319-68690-5_4}, interhash = {4041b9b93d36dce9026078c175293ffc}, intrahash = {117d9031051f17a99440b8e743dfe823}, isbn = {978-3-319-68690-5}, keywords = {dblp}, pages = {54-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:33:55.000+0200}, title = {Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2017.html#ChenYYJ17}, volume = 10610, year = 2017 }