BibTeX record conf/kse/TranHH18

download as .bib file

@inproceedings{DBLP:conf/kse/TranHH18,
  author       = {Hoang{-}Viet Tran and
                  Pham Ngoc Hung and
                  Dang Van Hung},
  editor       = {Nguyen Thanh Thuy and
                  Satoshi Tojo and
                  Tan Hanh and
                  Minh Le Nguyen and
                  Tu Minh Phuong and
                  Vo Nguyen Quoc Bao},
  title        = {On Improvement of Assume-Guarantee Verification Method for Timed Component-Based
                  Software},
  booktitle    = {10th International Conference on Knowledge and Systems Engineering,
                  {KSE} 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018},
  pages        = {270--275},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/KSE.2018.8573364},
  doi          = {10.1109/KSE.2018.8573364},
  timestamp    = {Tue, 18 Oct 2022 10:42:25 +0200},
  biburl       = {https://dblp.org/rec/conf/kse/TranHH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.