%0 Conference Paper %1 conf/date/ZhangZBCWL20 %A Zhang, Shiyu %A Zhai, Juan %A Bu, Lei %A Chen, Mingsong %A Wang, Linzhang %A Li, Xuandong %B DATE %D 2020 %I IEEE %K dblp %P 622-625 %T Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. %U http://dblp.uni-trier.de/db/conf/date/date2020.html#ZhangZBCWL20 %@ 978-3-9819263-4-7

@inproceedings{conf/date/ZhangZBCWL20, added-at = {2024-05-07T00:00:00.000+0200}, author = {Zhang, Shiyu and Zhai, Juan and Bu, Lei and Chen, Mingsong and Wang, Linzhang and Li, Xuandong}, biburl = {https://www.bibsonomy.org/bibtex/261c7462491721a76d382883cdbfa7f87/dblp}, booktitle = {DATE}, crossref = {conf/date/2020}, ee = {https://doi.org/10.23919/DATE48585.2020.9116374}, interhash = {3d6b8949c96e3a6796a8dcf6d6d1947b}, intrahash = {61c7462491721a76d382883cdbfa7f87}, isbn = {978-3-9819263-4-7}, keywords = {dblp}, pages = {622-625}, publisher = {IEEE}, timestamp = {2024-05-13T08:34:55.000+0200}, title = {Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.}, url = {http://dblp.uni-trier.de/db/conf/date/date2020.html#ZhangZBCWL20}, year = 2020 }