%0 Journal Article %1 journals/pacmpl/BaumannGMTZ23 %A Baumann, Pascal %A Ganardi, Moses %A Majumdar, Rupak %A Thinniyam, Ramanathan S. %A Zetzsche, Georg %D 2023 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 2141-2170 %T Context-Bounded Verification of Context-Free Specifications. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#BaumannGMTZ23 %V 7

@article{journals/pacmpl/BaumannGMTZ23, added-at = {2023-02-10T00:00:00.000+0100}, author = {Baumann, Pascal and Ganardi, Moses and Majumdar, Rupak and Thinniyam, Ramanathan S. and Zetzsche, Georg}, biburl = {https://www.bibsonomy.org/bibtex/282f3991977b93d18ed4c83c7c39a9bb0/dblp}, ee = {https://doi.org/10.1145/3571266}, interhash = {47db3c25b5f3c33e49c092f30b03e1c0}, intrahash = {82f3991977b93d18ed4c83c7c39a9bb0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {2141-2170}, timestamp = {2024-04-08T09:54:16.000+0200}, title = {Context-Bounded Verification of Context-Free Specifications.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#BaumannGMTZ23}, volume = 7, year = 2023 }