@article{DBLP:journals/iandc/AminofMR18,
  author       = {Benjamin Aminof and
                  Aniello Murano and
                  Sasha Rubin},
  title        = {CTL* with graded path modalities},
  journal      = {Inf. Comput.},
  volume       = {262},
  pages        = {1--21},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.05.001},
  doi          = {10.1016/J.IC.2018.05.001},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AminofMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"rdP3mmdHZ8ddfKj8W","bibbaseid":"aminof-murano-rubin-ctlwithgradedpathmodalities-2018","author_short":["Aminof, B.","Murano, A.","Rubin, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]}],"title":"CTL* with graded path modalities","journal":"Inf. Comput.","volume":"262","pages":"1–21","year":"2018","url":"https://doi.org/10.1016/j.ic.2018.05.001","doi":"10.1016/J.IC.2018.05.001","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/iandc/AminofMR18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/AminofMR18,\n author = {Benjamin Aminof and\n Aniello Murano and\n Sasha Rubin},\n title = {CTL* with graded path modalities},\n journal = {Inf. Comput.},\n volume = {262},\n pages = {1--21},\n year = {2018},\n url = {https://doi.org/10.1016/j.ic.2018.05.001},\n doi = {10.1016/J.IC.2018.05.001},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iandc/AminofMR18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aminof, B.","Murano, A.","Rubin, S."],"key":"DBLP:journals/iandc/AminofMR18","id":"DBLP:journals/iandc/AminofMR18","bibbaseid":"aminof-murano-rubin-ctlwithgradedpathmodalities-2018","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ic.2018.05.001"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF","74JLffDBQLjrojguT"],"keywords":[],"search_terms":["ctl","graded","path","modalities","aminof","murano","rubin"],"title":"CTL* with graded path modalities","year":2018}