%0 Conference Paper %1 conf/sofl/WangLLZS20 %A Wang, Xiaobing %A Li, Ge %A Li, Chunyi %A Zhao, Liang %A Shu, Xinfeng %B SOFL+MSVL %D 2020 %E Xue, Jinyun %E Nagoya, Fumiko %E Liu, Shaoying %E Duan, Zhenhua %I Springer %K dblp %P 154-171 %T Automatic Generation of Specification from Natural Language Based on Temporal Logic. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2020.html#WangLLZS20 %V 12723 %@ 978-3-030-77474-5

@inproceedings{conf/sofl/WangLLZS20, added-at = {2024-10-06T00:00:00.000+0200}, author = {Wang, Xiaobing and Li, Ge and Li, Chunyi and Zhao, Liang and Shu, Xinfeng}, biburl = {https://www.bibsonomy.org/bibtex/2dd052f355b8e8a206fbeed79f01443c6/dblp}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2020}, editor = {Xue, Jinyun and Nagoya, Fumiko and Liu, Shaoying and Duan, Zhenhua}, ee = {https://doi.org/10.1007/978-3-030-77474-5_11}, interhash = {d888cf380e4a041227c446c0cce3c3e0}, intrahash = {dd052f355b8e8a206fbeed79f01443c6}, isbn = {978-3-030-77474-5}, keywords = {dblp}, pages = {154-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T09:53:17.000+0200}, title = {Automatic Generation of Specification from Natural Language Based on Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2020.html#WangLLZS20}, volume = 12723, year = 2020 }