%0 Conference Paper %1 conf/qrs/ShiDZY17 %A Shi, Hao %A Dong, Wei %A Zhou, Ge %A Yin, Liangze %B QRS Companion %D 2017 %I IEEE %K dblp %P 355-362 %T Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2017c.html#ShiDZY17 %@ 978-1-5386-2072-4

@inproceedings{conf/qrs/ShiDZY17, added-at = {2017-10-25T00:00:00.000+0200}, author = {Shi, Hao and Dong, Wei and Zhou, Ge and Yin, Liangze}, biburl = {https://www.bibsonomy.org/bibtex/2512910ea9a3e08066bcc45da87958449/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2017c}, ee = {https://doi.org/10.1109/QRS-C.2017.66}, interhash = {05a47bae16a61418c186799f06aaac16}, intrahash = {512910ea9a3e08066bcc45da87958449}, isbn = {978-1-5386-2072-4}, keywords = {dblp}, pages = {355-362}, publisher = {IEEE}, timestamp = {2019-10-17T16:35:01.000+0200}, title = {Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2017c.html#ShiDZY17}, year = 2017 }