%0 Conference Paper %1 conf/setta/ZhaoLYQ16 %A Zhao, Ruifang %A Liu, Ke %A Yang, Hongli %A Qiu, Zongyan %B SETTA %D 2016 %E Fränzle, Martin %E Kapur, Deepak %E Zhan, Naijun %K dblp %P 136-146 %T Identifying XML Schema Constraints Using Temporal Logic. %U http://dblp.uni-trier.de/db/conf/setta/setta2016.html#ZhaoLYQ16 %V 9984 %@ 978-3-319-47676-6

@inproceedings{conf/setta/ZhaoLYQ16, added-at = {2017-05-26T00:00:00.000+0200}, author = {Zhao, Ruifang and Liu, Ke and Yang, Hongli and Qiu, Zongyan}, biburl = {https://www.bibsonomy.org/bibtex/24c755d6e6d43bca356122ccddaa91309/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2016}, editor = {Fränzle, Martin and Kapur, Deepak and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-319-47677-3_9}, interhash = {f05735a74f60d3d1da2c9c0d803cba73}, intrahash = {4c755d6e6d43bca356122ccddaa91309}, isbn = {978-3-319-47676-6}, keywords = {dblp}, pages = {136-146}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:48:11.000+0200}, title = {Identifying XML Schema Constraints Using Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2016.html#ZhaoLYQ16}, volume = 9984, year = 2016 }