%0 Conference Paper %1 conf/sofl/WangLZX16 %A Wang, Xiaobing %A Liu, Dongmiao %A Zhao, Liang %A Xue, Yina %B SOFL+MSVL %D 2016 %E Liu, Shaoying %E Duan, Zhenhua %E Tian, Cong %E Nagoya, Fumiko %K dblp %P 144-159 %T Runtime Verification Monitor Construction for Three-valued PPTL. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#WangLZX16 %V 10189 %@ 978-3-319-57708-1

@inproceedings{conf/sofl/WangLZX16, added-at = {2023-02-08T00:00:00.000+0100}, author = {Wang, Xiaobing and Liu, Dongmiao and Zhao, Liang and Xue, Yina}, biburl = {https://www.bibsonomy.org/bibtex/2fbfc773c06bf320a3b19e9d4ea03fc54/dblp}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2016}, editor = {Liu, Shaoying and Duan, Zhenhua and Tian, Cong and Nagoya, Fumiko}, ee = {https://doi.org/10.1007/978-3-319-57708-1_9}, interhash = {62cdd51f9b16a5c4818c63582fe7111b}, intrahash = {fbfc773c06bf320a3b19e9d4ea03fc54}, isbn = {978-3-319-57708-1}, keywords = {dblp}, pages = {144-159}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:41:15.000+0200}, title = {Runtime Verification Monitor Construction for Three-valued PPTL.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#WangLZX16}, volume = 10189, year = 2016 }