%0 Journal Article %1 journals/tcs/ZhaoWSZ20 %A Zhao, Liang %A Wang, Xiaobing %A Shu, Xinfeng %A Zhang, Nan %D 2020 %J Theor. Comput. Sci. %K dblp %P 25-44 %T A sound and complete proof system for a unified temporal logic. %U http://dblp.uni-trier.de/db/journals/tcs/tcs838.html#ZhaoWSZ20 %V 838

@article{journals/tcs/ZhaoWSZ20, added-at = {2023-02-08T00:00:00.000+0100}, author = {Zhao, Liang and Wang, Xiaobing and Shu, Xinfeng and Zhang, Nan}, biburl = {https://www.bibsonomy.org/bibtex/20796f41fc5e2ff3e4a7f07adecdc4014/dblp}, ee = {https://doi.org/10.1016/j.tcs.2020.05.015}, interhash = {1045374245453858e801eda21f3900fe}, intrahash = {0796f41fc5e2ff3e4a7f07adecdc4014}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {25-44}, timestamp = {2024-04-08T18:37:16.000+0200}, title = {A sound and complete proof system for a unified temporal logic.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs838.html#ZhaoWSZ20}, volume = 838, year = 2020 }