@inproceedings{DBLP:conf/hybrid/AnZLZY18,
  author       = {Jie An and
                  Naijun Zhan and
                  Xiaoshan Li and
                  Miaomiao Zhang and
                  Wang Yi},
  editor       = {Maria Prandini and
                  Jyotirmoy V. Deshmukh},
  title        = {Model Checking Bounded Continuous-time Extended Linear Duration Invariants},
  booktitle    = {Proceedings of the 21st International Conference on Hybrid Systems:
                  Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
                  Portugal, April 11-13, 2018},
  pages        = {81--90},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178126.3178147},
  doi          = {10.1145/3178126.3178147},
  timestamp    = {Tue, 25 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AnZLZY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hWdSo9EAEwtaEG5yC","bibbaseid":"an-zhan-li-zhang-yi-modelcheckingboundedcontinuoustimeextendedlineardurationinvariants-2018","author_short":["An, J.","Zhan, N.","Li, X.","Zhang, M.","Yi, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jie"],"propositions":[],"lastnames":["An"],"suffixes":[]},{"firstnames":["Naijun"],"propositions":[],"lastnames":["Zhan"],"suffixes":[]},{"firstnames":["Xiaoshan"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Miaomiao"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Wang"],"propositions":[],"lastnames":["Yi"],"suffixes":[]}],"editor":[{"firstnames":["Maria"],"propositions":[],"lastnames":["Prandini"],"suffixes":[]},{"firstnames":["Jyotirmoy","V."],"propositions":[],"lastnames":["Deshmukh"],"suffixes":[]}],"title":"Model Checking Bounded Continuous-time Extended Linear Duration Invariants","booktitle":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018","pages":"81–90","publisher":"ACM","year":"2018","url":"https://doi.org/10.1145/3178126.3178147","doi":"10.1145/3178126.3178147","timestamp":"Tue, 25 Apr 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/hybrid/AnZLZY18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hybrid/AnZLZY18,\n author = {Jie An and\n Naijun Zhan and\n Xiaoshan Li and\n Miaomiao Zhang and\n Wang Yi},\n editor = {Maria Prandini and\n Jyotirmoy V. Deshmukh},\n title = {Model Checking Bounded Continuous-time Extended Linear Duration Invariants},\n booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:\n Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,\n Portugal, April 11-13, 2018},\n pages = {81--90},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3178126.3178147},\n doi = {10.1145/3178126.3178147},\n timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/hybrid/AnZLZY18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["An, J.","Zhan, N.","Li, X.","Zhang, M.","Yi, W."],"editor_short":["Prandini, M.","Deshmukh, J. V."],"key":"DBLP:conf/hybrid/AnZLZY18","id":"DBLP:conf/hybrid/AnZLZY18","bibbaseid":"an-zhan-li-zhang-yi-modelcheckingboundedcontinuoustimeextendedlineardurationinvariants-2018","role":"author","urls":{"Paper":"https://doi.org/10.1145/3178126.3178147"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/145/0655-1.bib","dataSources":["oiYCXA45Cw6RDoady"],"keywords":[],"search_terms":["model","checking","bounded","continuous","time","extended","linear","duration","invariants","an","zhan","li","zhang","yi"],"title":"Model Checking Bounded Continuous-time Extended Linear Duration Invariants","year":2018}