Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Meng-Zhe Hua
@inproceedings{DBLP:conf/apsec/KangKHW15, author = {Eun{-}Young Kang and Liu Ke and Meng{-}Zhe Hua and Yu{-}Xuan Wang}, editor = {Jing Sun and Y. Raghu Reddy and Arun Bahulkar and Anjaneyulu Pasala}, title = {Verifying Automotive Systems in EAST-ADL/Stateflow Using {UPPAAL}}, booktitle = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New Delhi, India, December 1-4, 2015}, pages = {143--150}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/APSEC.2015.17}, doi = {10.1109/APSEC.2015.17}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/KangKHW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/colcom/HuWHHH15, author = {Qi{-}Ying Hu and Chang{-}Dong Wang and Jia{-}Xin Hong and Meng{-}Zhe Hua and Di Huang}, editor = {Song Guo and Xiaofei Liao and Fangming Liu and Yanmin Zhu}, title = {Traveller: {A} Novel Tourism Platform for Students Based on Cloud Data}, booktitle = {Collaborative Computing: Networking, Applications, and Worksharing - 11th International Conference, CollaborateCom 2015, Wuhan, China, November 10-11, 2015. Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {163}, pages = {26--35}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-28910-6\_3}, doi = {10.1007/978-3-319-28910-6\_3}, timestamp = {Fri, 13 Jul 2018 15:02:09 +0200}, biburl = {https://dblp.org/rec/conf/colcom/HuWHHH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.