Metadaten
- BibTeX-Schlüssel
- conf/compsac/LiuLZSCDC17
- Eintragstyp
- inproceedings
- Buchtitel
- COMPSAC (1)
- Jahr
- 2017
- Seiten
- 138-143
- Verlag
- IEEE Computer Society
- BibTeX-Querverweis
- conf/compsac/2017-1
- ee
- https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2017.52
- isbn
- 978-1-5386-0367-3
- URL
- http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#LiuLZSCDC17
Tags
Nutzer
Kommentare und Rezensionenanzeigen / verbergen
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -%0 Conference Paper
%1 conf/compsac/LiuLZSCDC17
%A Liu, Jie
%A Liu, Jing
%A Zhang, Miaomiao
%A Sun, Haiying
%A Chen, Xiaohong
%A Du, Dehui
%A Chen, Mingsong
%B COMPSAC (1)
%D 2017
%E Reisman, Sorel
%E Ahamed, Sheikh Iqbal
%E Demartini, Claudio
%E Conte, Thomas M.
%E Liu, Ling
%E Claycomb, William R.
%E Nakamura, Motonori
%E Tovar, Edmundo
%E Cimato, Stelvio
%E Lung, Chung-Horng
%E Takakura, Hiroki
%E Yang, Ji-Jiang
%E Akiyama, Toyokazu
%E Zhang, Zhiyong
%E Hasan, Kamrul
%I IEEE Computer Society
%K dblp
%P 138-143
%T An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
%U http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#LiuLZSCDC17
%@ 978-1-5386-0367-3
@inproceedings{conf/compsac/LiuLZSCDC17,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Liu, Jie and Liu, Jing and Zhang, Miaomiao and Sun, Haiying and Chen, Xiaohong and Du, Dehui and Chen, Mingsong},
biburl = {https://www.bibsonomy.org/bibtex/2b340649a2a44d55f901d23e6bda9cf93/dblp},
booktitle = {COMPSAC (1)},
crossref = {conf/compsac/2017-1},
editor = {Reisman, Sorel and Ahamed, Sheikh Iqbal and Demartini, Claudio and Conte, Thomas M. and Liu, Ling and Claycomb, William R. and Nakamura, Motonori and Tovar, Edmundo and Cimato, Stelvio and Lung, Chung-Horng and Takakura, Hiroki and Yang, Ji-Jiang and Akiyama, Toyokazu and Zhang, Zhiyong and Hasan, Kamrul},
ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2017.52},
interhash = {0d6bb640ec2cfa0b3d6ef76cea48f26d},
intrahash = {b340649a2a44d55f901d23e6bda9cf93},
isbn = {978-1-5386-0367-3},
keywords = {dblp},
pages = {138-143},
publisher = {IEEE Computer Society},
timestamp = {2024-08-26T07:37:46.000+0200},
title = {An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#LiuLZSCDC17},
year = 2017
}