BibTeX record conf/dsa/AungPDO22

• > Home > conf/dsa/AungPDO22

@inproceedings{DBLP:conf/dsa/AungPDO22,
  author       = {Moe Nandi Aung and
                  Yati Phyo and
                  Canh Minh Do and
                  Kazuhiro Ogata},
  title        = {A Tool for Model Checking Eventual Model Checking in a Stratified
                  Way},
  booktitle    = {9th International Conference on Dependable Systems and Their Applications,
                  {DSA} 2022, Wulumuqi, China, August 4-5, 2022},
  pages        = {270--279},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/DSA56465.2022.00045},
  doi          = {10.1109/DSA56465.2022.00045},
  timestamp    = {Mon, 26 Jun 2023 20:48:49 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/AungPDO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}