%0 Conference Paper %1 conf/ACISicis/ZhouGLZ18 %A Zhou, Ying %A Gong, Xufang %A Li, Bixin %A Zhu, Min %B ICIS %D 2018 %I IEEE Computer Society %K dblp %P 173-179 %T A Framework for CPS Modeling and Verification Based on dL. %U http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2018.html#ZhouGLZ18 %@ 978-1-5386-5892-5

@inproceedings{conf/ACISicis/ZhouGLZ18, added-at = {2023-03-24T00:00:00.000+0100}, author = {Zhou, Ying and Gong, Xufang and Li, Bixin and Zhu, Min}, biburl = {https://www.bibsonomy.org/bibtex/2896b5b7ff5ef86a40f10b83830f8a172/dblp}, booktitle = {ICIS}, crossref = {conf/ACISicis/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICIS.2018.8466460}, interhash = {94c2f6f110dd5b833d438aaa87e5b464}, intrahash = {896b5b7ff5ef86a40f10b83830f8a172}, isbn = {978-1-5386-5892-5}, keywords = {dblp}, pages = {173-179}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:39:10.000+0200}, title = {A Framework for CPS Modeling and Verification Based on dL.}, url = {http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2018.html#ZhouGLZ18}, year = 2018 }