Model Checking Bounded Continuous-time Extended Linear Duration Invariants. An, J., Zhan, N., Li, X., Zhang, M., & Yi, W. In Prandini, M. & Deshmukh, J. V., editors, 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, 2018. ACM. Paper doi bibtex @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}
}
Downloads: 0
{"_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}