%0 Conference Paper %1 conf/aila/ChenZL22 %A Chen, Yu %A Zhang, Xiaoyu %A Li, Jianwen %B AILA %D 2022 %E Chen, Yixiang %E Zhang, Songmao %I Springer %K dblp %P 3-18 %T Finite Quantified Linear Temporal Logic and Its Satisfiability Checking. %U http://dblp.uni-trier.de/db/conf/aila/aila2022.html#ChenZL22 %V 1657 %@ 978-981-19-7510-3

@inproceedings{conf/aila/ChenZL22, added-at = {2022-12-13T00:00:00.000+0100}, author = {Chen, Yu and Zhang, Xiaoyu and Li, Jianwen}, biburl = {https://www.bibsonomy.org/bibtex/242740c734ca260758de748f293237a5b/dblp}, booktitle = {AILA}, crossref = {conf/aila/2022}, editor = {Chen, Yixiang and Zhang, Songmao}, ee = {https://doi.org/10.1007/978-981-19-7510-3_1}, interhash = {76bdfd2055603f6a1a0ad8c1d126f24f}, intrahash = {42740c734ca260758de748f293237a5b}, isbn = {978-981-19-7510-3}, keywords = {dblp}, pages = {3-18}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-09T13:25:44.000+0200}, title = {Finite Quantified Linear Temporal Logic and Its Satisfiability Checking.}, url = {http://dblp.uni-trier.de/db/conf/aila/aila2022.html#ChenZL22}, volume = 1657, year = 2022 }