%0 Journal Article %1 journals/tcs/MuranoPRS20 %A Murano, Aniello %A Parente, Mimmo %A Rubin, Sasha %A Sorrentino, Loredana %D 2020 %J Theor. Comput. Sci. %K dblp %P 577-586 %T Model-checking graded computation-tree logic with finite path semantics. %U http://dblp.uni-trier.de/db/journals/tcs/tcs806.html#MuranoPRS20 %V 806

@article{journals/tcs/MuranoPRS20, added-at = {2022-06-23T00:00:00.000+0200}, author = {Murano, Aniello and Parente, Mimmo and Rubin, Sasha and Sorrentino, Loredana}, biburl = {https://www.bibsonomy.org/bibtex/2bf78afbefef3038aa32194e41e4ec0e5/dblp}, ee = {https://doi.org/10.1016/j.tcs.2019.09.021}, interhash = {3e252bb42689aa329b634309bb3b0cb0}, intrahash = {bf78afbefef3038aa32194e41e4ec0e5}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {577-586}, timestamp = {2024-04-08T18:48:54.000+0200}, title = {Model-checking graded computation-tree logic with finite path semantics.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs806.html#MuranoPRS20}, volume = 806, year = 2020 }