%0 Journal Article %1 journals/fmsd/HeinenJKN15 %A Heinen, Jonathan %A Jansen, Christina %A Katoen, Joost-Pieter %A Noll, Thomas %D 2015 %J Formal Methods Syst. Des. %K %N 2 %P 159-203 %T Juggrnaut: using graph grammars for abstracting unbounded heap structures. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd47.html#HeinenJKN15 %V 47

@article{journals/fmsd/HeinenJKN15, added-at = {2023-12-13T09:37:50.000+0100}, author = {Heinen, Jonathan and Jansen, Christina and Katoen, Joost-Pieter and Noll, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/24580d8d95084000aeb1abb40f29d4814/admin}, ee = {https://www.wikidata.org/entity/Q57800682}, interhash = {cff925961ed772e0faf906028bc0ae4b}, intrahash = {4580d8d95084000aeb1abb40f29d4814}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 2, pages = {159-203}, timestamp = {2023-12-13T09:37:50.000+0100}, title = {Juggrnaut: using graph grammars for abstracting unbounded heap structures.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd47.html#HeinenJKN15}, volume = 47, year = 2015 }