Refining strategic ability in alternating-time temporal logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Dimitar P. Guelev. Refining strategic ability in alternating-time temporal logic. Inf. Comput., 254:316-328, 2017. [doi]

@article{Guelev17,
  title = {Refining strategic ability in alternating-time temporal logic},
  author = {Dimitar P. Guelev},
  year = {2017},
  doi = {10.1016/j.ic.2016.10.013},
  url = {https://doi.org/10.1016/j.ic.2016.10.013},
  researchr = {https://researchr.org/publication/Guelev17},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {254},
  pages = {316-328},
}

runs on WebDSL