BibTeX record conf/compsac/LiuLZSCDC17

• > Home > conf/compsac/LiuLZSCDC17

@inproceedings{DBLP:conf/compsac/LiuLZSCDC17,
  author       = {Jie Liu and
                  Jing Liu and
                  Miaomiao Zhang and
                  Haiying Sun and
                  Xiaohong Chen and
                  Dehui Du and
                  Mingsong Chen},
  editor       = {Sorel Reisman and
                  Sheikh Iqbal Ahamed and
                  Claudio Demartini and
                  Thomas M. Conte and
                  Ling Liu and
                  William R. Claycomb and
                  Motonori Nakamura and
                  Edmundo Tovar and
                  Stelvio Cimato and
                  Chung{-}Horng Lung and
                  Hiroki Takakura and
                  Ji{-}Jiang Yang and
                  Toyokazu Akiyama and
                  Zhiyong Zhang and
                  Kamrul Hasan},
  title        = {An Approach to Proving Proof Obligation of Hybrid Event {B} Based
                  on Differential Invariants},
  booktitle    = {41st {IEEE} Annual Computer Software and Applications Conference,
                  {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
  pages        = {138--143},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/COMPSAC.2017.52},
  doi          = {10.1109/COMPSAC.2017.52},
  timestamp    = {Fri, 24 Mar 2023 00:01:41 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiuLZSCDC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}