%0 Journal Article %1 journals/iandc/AminofLMSV13 %A Aminof, Benjamin %A Legay, Axel %A Murano, Aniello %A Serre, Olivier %A Vardi, Moshe Y. %D 2013 %J Inf. Comput. %K %P 1-17 %T Pushdown module checking with imperfect information. %U http://dblp.uni-trier.de/db/journals/iandc/iandc223.html#AminofLMSV13 %V 223

@article{journals/iandc/AminofLMSV13, added-at = {2023-12-12T19:06:56.000+0100}, author = {Aminof, Benjamin and Legay, Axel and Murano, Aniello and Serre, Olivier and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/20aed3841a90c904482fff2fbebd2bd7d/admin}, ee = {http://dx.doi.org/10.1016/j.ic.2012.11.005}, interhash = {1bf8d4e8ffe4c5ad69dd8a5a0d01790f}, intrahash = {0aed3841a90c904482fff2fbebd2bd7d}, journal = {Inf. Comput.}, keywords = {}, pages = {1-17}, timestamp = {2023-12-12T19:06:56.000+0100}, title = {Pushdown module checking with imperfect information.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc223.html#AminofLMSV13}, volume = 223, year = 2013 }