@article{DBLP:journals/iandc/AminofLMSV13,
  author       = {Benjamin Aminof and
                  Axel Legay and
                  Aniello Murano and
                  Olivier Serre and
                  Moshe Y. Vardi},
  title        = {Pushdown module checking with imperfect information},
  journal      = {Inf. Comput.},
  volume       = {223},
  pages        = {1--17},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2012.11.005},
  doi          = {10.1016/J.IC.2012.11.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AminofLMSV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"P8dftiDYRjEic75Js","bibbaseid":"aminof-legay-murano-serre-vardi-pushdownmodulecheckingwithimperfectinformation-2013","downloads":0,"creationDate":"2018-10-09T13:37:34.002Z","title":"Pushdown module checking with imperfect information","author_short":["Aminof, B.","Legay, A.","Murano, A.","Serre, O.","Vardi, M. Y."],"year":2013,"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Legay"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Olivier"],"propositions":[],"lastnames":["Serre"],"suffixes":[]},{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"title":"Pushdown module checking with imperfect information","journal":"Inf. Comput.","volume":"223","pages":"1–17","year":"2013","url":"https://doi.org/10.1016/j.ic.2012.11.005","doi":"10.1016/J.IC.2012.11.005","timestamp":"Fri, 12 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/iandc/AminofLMSV13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/AminofLMSV13,\n author = {Benjamin Aminof and\n Axel Legay and\n Aniello Murano and\n Olivier Serre and\n Moshe Y. Vardi},\n title = {Pushdown module checking with imperfect information},\n journal = {Inf. Comput.},\n volume = {223},\n pages = {1--17},\n year = {2013},\n url = {https://doi.org/10.1016/j.ic.2012.11.005},\n doi = {10.1016/J.IC.2012.11.005},\n timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/iandc/AminofLMSV13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aminof, B.","Legay, A.","Murano, A.","Serre, O.","Vardi, M. Y."],"key":"DBLP:journals/iandc/AminofLMSV13","id":"DBLP:journals/iandc/AminofLMSV13","bibbaseid":"aminof-legay-murano-serre-vardi-pushdownmodulecheckingwithimperfectinformation-2013","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ic.2012.11.005"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["pushdown","module","checking","imperfect","information","aminof","legay","murano","serre","vardi"],"keywords":[],"authorIDs":[],"dataSources":["NXyGhwPCjN6xnXQ6d","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}