Pushdown module checking with imperfect information

@article{Aminof2013PushdownMC,
  title={Pushdown module checking with imperfect information},
  author={Benjamin Aminof and Axel Legay and Aniello Murano and Olivier Serre and Moshe Y. Vardi},
  journal={Inf. Comput.},
  year={2013},
  volume={223},
  pages={1-17}
}
Highly Cited
This paper has 50 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…