%0 Conference Paper %1 conf/rv/WuBCHHLKZ20 %A Wu, Shih-Lun %A Bai, Ching-Yuan %A Chang, Kai-Chieh %A Hsieh, Yi-Ting %A Huang, Chao %A Lin, Chung-Wei %A Kang, Eunsuk %A Zhu, Qi %B RV %D 2020 %E Deshmukh, Jyotirmoy %E Nickovic, Dejan %I Springer %K dblp %P 497-516 %T Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. %U http://dblp.uni-trier.de/db/conf/rv/rv2020.html#WuBCHHLKZ20 %V 12399 %@ 978-3-030-60508-7

@inproceedings{conf/rv/WuBCHHLKZ20, added-at = {2021-12-09T00:00:00.000+0100}, author = {Wu, Shih-Lun and Bai, Ching-Yuan and Chang, Kai-Chieh and Hsieh, Yi-Ting and Huang, Chao and Lin, Chung-Wei and Kang, Eunsuk and Zhu, Qi}, biburl = {https://www.bibsonomy.org/bibtex/2ab9a3c3adb7af4cfa8af4f805c3a3f91/dblp}, booktitle = {RV}, crossref = {conf/rv/2020}, editor = {Deshmukh, Jyotirmoy and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-60508-7_28}, interhash = {82042c221fdcf1e89ad0ac6603014d87}, intrahash = {ab9a3c3adb7af4cfa8af4f805c3a3f91}, isbn = {978-3-030-60508-7}, keywords = {dblp}, pages = {497-516}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:44.000+0200}, title = {Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2020.html#WuBCHHLKZ20}, volume = 12399, year = 2020 }