Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/percom/ZhangSZLQ15
%A Zhang, Yan
%A Shi, Jin
%A Zhang, Tian
%A Liu, Xiangwei
%A Qian, Zhuzhong
%D 2015
%J Pervasive Mob. Comput.
%K dblp
%P 179-193
%T Modeling and checking for Cyber-Physical System based on hybrid interface automata.
%U http://dblp.uni-trier.de/db/journals/percom/percom24.html#ZhangSZLQ15
%V 24
@article{journals/percom/ZhangSZLQ15,
added-at = {2020-02-22T00:00:00.000+0100},
author = {Zhang, Yan and Shi, Jin and Zhang, Tian and Liu, Xiangwei and Qian, Zhuzhong},
biburl = {https://www.bibsonomy.org/bibtex/2dbccb1a24b9f5f5cd1882d5a952f24f4/dblp},
ee = {https://doi.org/10.1016/j.pmcj.2015.07.008},
interhash = {a0e29dce4fcc5ae0010177f08c32aca5},
intrahash = {dbccb1a24b9f5f5cd1882d5a952f24f4},
journal = {Pervasive Mob. Comput.},
keywords = {dblp},
pages = {179-193},
timestamp = {2020-02-25T12:42:46.000+0100},
title = {Modeling and checking for Cyber-Physical System based on hybrid interface automata.},
url = {http://dblp.uni-trier.de/db/journals/percom/percom24.html#ZhangSZLQ15},
volume = 24,
year = 2015
}