@inproceedings{DBLP:conf/rta/BertrandDKSS12,
  author       = {Nathalie Bertrand and
                  Giorgio Delzanno and
                  Barbara K{\"{o}}nig and
                  Arnaud Sangnier and
                  Jan St{\"{u}}ckrath},
  editor       = {Ashish Tiwari},
  title        = {On the Decidability Status of Reachability and Coverability in Graph
                  Transformation Systems},
  booktitle    = {23rd International Conference on Rewriting Techniques and Applications,
                  {RTA} 2012, Nagoya, Japan, May 28 - June 2, 2012},
  series       = {LIPIcs},
  volume       = {15},
  pages        = {101--116},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2012.101},
  doi          = {10.4230/LIPICS.RTA.2012.101},
  timestamp    = {Fri, 21 Nov 2025 14:06:54 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/BertrandDKSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Th9CiepBgzeaGhn5n","bibbaseid":"bertrand-delzanno-knig-sangnier-stckrath-onthedecidabilitystatusofreachabilityandcoverabilityingraphtransformationsystems-2012","author_short":["Bertrand, N.","Delzanno, G.","König, B.","Sangnier, A.","Stückrath, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nathalie"],"propositions":[],"lastnames":["Bertrand"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]},{"firstnames":["Barbara"],"propositions":[],"lastnames":["König"],"suffixes":[]},{"firstnames":["Arnaud"],"propositions":[],"lastnames":["Sangnier"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Stückrath"],"suffixes":[]}],"editor":[{"firstnames":["Ashish"],"propositions":[],"lastnames":["Tiwari"],"suffixes":[]}],"title":"On the Decidability Status of Reachability and Coverability in Graph Transformation Systems","booktitle":"23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Nagoya, Japan, May 28 - June 2, 2012","series":"LIPIcs","volume":"15","pages":"101–116","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2012","url":"https://doi.org/10.4230/LIPIcs.RTA.2012.101","doi":"10.4230/LIPICS.RTA.2012.101","timestamp":"Fri, 21 Nov 2025 14:06:54 +0100","biburl":"https://dblp.org/rec/conf/rta/BertrandDKSS12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rta/BertrandDKSS12,\n author = {Nathalie Bertrand and\n Giorgio Delzanno and\n Barbara K{\\\"{o}}nig and\n Arnaud Sangnier and\n Jan St{\\\"{u}}ckrath},\n editor = {Ashish Tiwari},\n title = {On the Decidability Status of Reachability and Coverability in Graph\n Transformation Systems},\n booktitle = {23rd International Conference on Rewriting Techniques and Applications,\n {RTA} 2012, Nagoya, Japan, May 28 - June 2, 2012},\n series = {LIPIcs},\n volume = {15},\n pages = {101--116},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2012},\n url = {https://doi.org/10.4230/LIPIcs.RTA.2012.101},\n doi = {10.4230/LIPICS.RTA.2012.101},\n timestamp = {Fri, 21 Nov 2025 14:06:54 +0100},\n biburl = {https://dblp.org/rec/conf/rta/BertrandDKSS12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bertrand, N.","Delzanno, G.","König, B.","Sangnier, A.","Stückrath, J."],"editor_short":["Tiwari, A."],"key":"DBLP:conf/rta/BertrandDKSS12","id":"DBLP:conf/rta/BertrandDKSS12","bibbaseid":"bertrand-delzanno-knig-sangnier-stckrath-onthedecidabilitystatusofreachabilityandcoverabilityingraphtransformationsystems-2012","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.RTA.2012.101"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/d/GDelzanno.bib","dataSources":["7sjsfpwbZdJKfTRJa","CNS5YERBRqLdN5aYr"],"keywords":[],"search_terms":["decidability","status","reachability","coverability","graph","transformation","systems","bertrand","delzanno","könig","sangnier","stückrath"],"title":"On the Decidability Status of Reachability and Coverability in Graph Transformation Systems","year":2012}