%0 Conference Paper %1 conf/qrs/ZhouDLSHY17 %A Zhou, Ge %A Dong, Wei %A Liu, Wanwei %A Shi, Hao %A Hu, Chi %A Yin, Liangze %B QRS Companion %D 2017 %I IEEE %K dblp %P 348-354 %T Optimizing Monitor Code Based on Patterns in Runtime Verification. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2017c.html#ZhouDLSHY17 %@ 978-1-5386-2072-4

@inproceedings{conf/qrs/ZhouDLSHY17, added-at = {2017-10-25T00:00:00.000+0200}, author = {Zhou, Ge and Dong, Wei and Liu, Wanwei and Shi, Hao and Hu, Chi and Yin, Liangze}, biburl = {https://www.bibsonomy.org/bibtex/275a1857e6cd73d6f7610deddb6c5dc1a/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2017c}, ee = {https://doi.org/10.1109/QRS-C.2017.65}, interhash = {e047b48a4918063cfe8d270c090476be}, intrahash = {75a1857e6cd73d6f7610deddb6c5dc1a}, isbn = {978-1-5386-2072-4}, keywords = {dblp}, pages = {348-354}, publisher = {IEEE}, timestamp = {2019-10-17T16:35:01.000+0200}, title = {Optimizing Monitor Code Based on Patterns in Runtime Verification.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2017c.html#ZhouDLSHY17}, year = 2017 }