Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

J. Liu, J. Liu, M. Zhang, H. Sun, X. Chen, D. Du, and M. Chen. COMPSAC (1), page 138-143. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jie Liu

Zhou Jie

Yucheng Jie

Liu Liu

Other publications of authors with the same name

A Web Service Matchmaking Algorithm Based on an Extended QoS Model.R. Hu, J. Liu, Z. Liao, and J. Liu. ICNSC, page 1565-1570. IEEE, (2008)Hydrodynamic Characteristics Analysis of Expendable BathyThermograph Probe.Z. Li, L. Du, J. Liu, and H. He. CWSN, volume 418 of Communications in Computer and Information Science, page 231-238. Springer, (2013)FMEM: A Fine-grained Memory Estimator for MapReduce Jobs.L. Xu, J. Liu, and J. Wei. ICAC, page 65-68. USENIX Association, (2013)A Framework of Combining Intrusion Detection and Continuous Authentication in Mobile Ad Hoc Networks.J. Liu, F. Yu, C. Lung, and H. Tang. ICC, page 1515-1519. IEEE, (2008)All-Inorganic Perovskite Solar CellsJ. Liang, C. Wang, Y. Wang, Z. Xu, Z. Lu, Y. Ma, H. Zhu, Y. Hu, C. Xiao, X. Yi and 7 other author(s). Journal of the American Chemical Society, 138 (49): 15829-15832 (2016)PMID: 27960305.General Space-Confined On-Substrate Fabrication of Thickness-Adjustable Hybrid Perovskite Single-Crystalline Thin FilmsY. Chen, Q. Ge, Y. Shi, J. Liu, D. Xue, J. Ma, J. Ding, H. Yan, J. Hu, and L. Wan. Journal of the American Chemical Society, 138 (50): 16196-16199 (2016)PMID: 27998083.Correction to “All-Inorganic Perovskite Solar Cells”J. Liang, C. Wang, Y. Wang, Z. Xu, Z. Lu, Y. Ma, H. Zhu, Y. Hu, C. Xiao, X. Yi and 7 other author(s). Journal of the American Chemical Society, 139 (7): 2852-2852 (2017)PMID: 28170230.Web-based Software Development for Today and Tomorrow.J. Liu, and J. He. International Conference on Internet Computing, page 489-498. CSREA Press, (2002)Surviving wi-fi interference in low power ZigBee networks.C. Liang, B. Priyantha, J. Liu, and A. Terzis. SenSys, page 309-322. ACM, (2010)Two improved segmentation algorithms for whole cardiac CT sequence images.W. Cao, J. Li, J. Liu, and P. Zhang. CISP-BMEI, page 346-351. IEEE, (2016)

BibSonomy

Disambiguation of "Liu, Jie"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

Please choose a person to relate this publication to

Jie Liu

Zhou Jie

Yucheng Jie

Liu Liu

Liu Liu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Liu, Jie"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

Please choose a person to relate this publication to

Jie Liu

Zhou Jie

Yucheng Jie

Liu Liu

Liu Liu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.