@inproceedings{albers2022lightweight,
  title={A Lightweight Approach for Model Checking Variability-Based Graph Transformations},
  author={Albers, Mitchell and Damasceno, Carlos Diego N and Str{\"u}ber, Daniel},
  booktitle={GCM'22: International Workshop on Graph Computation Models},
  pages={53--69},
  year={2022},
  url_Paper = {https://www.danielstrueber.de/publications/ADS22.pdf},
  keywords = {Model-Driven Engineering}
}

{"_id":"tdHLvAX7f3wkBYb7A","bibbaseid":"albers-damasceno-strber-alightweightapproachformodelcheckingvariabilitybasedgraphtransformations-2022","author_short":["Albers, M.","Damasceno, C. D. N","Strüber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Lightweight Approach for Model Checking Variability-Based Graph Transformations","author":[{"propositions":[],"lastnames":["Albers"],"firstnames":["Mitchell"],"suffixes":[]},{"propositions":[],"lastnames":["Damasceno"],"firstnames":["Carlos","Diego","N"],"suffixes":[]},{"propositions":[],"lastnames":["Strüber"],"firstnames":["Daniel"],"suffixes":[]}],"booktitle":"GCM'22: International Workshop on Graph Computation Models","pages":"53–69","year":"2022","url_paper":"https://www.danielstrueber.de/publications/ADS22.pdf","keywords":"Model-Driven Engineering","bibtex":"@inproceedings{albers2022lightweight,\r\n title={A Lightweight Approach for Model Checking Variability-Based Graph Transformations},\r\n author={Albers, Mitchell and Damasceno, Carlos Diego N and Str{\\\"u}ber, Daniel},\r\n booktitle={GCM'22: International Workshop on Graph Computation Models},\r\n pages={53--69},\r\n year={2022},\r\n url_Paper = {https://www.danielstrueber.de/publications/ADS22.pdf},\r\n keywords = {Model-Driven Engineering}\r\n}\r\n\r\n\r\n\r\n","author_short":["Albers, M.","Damasceno, C. D. N","Strüber, D."],"key":"albers2022lightweight","id":"albers2022lightweight","bibbaseid":"albers-damasceno-strber-alightweightapproachformodelcheckingvariabilitybasedgraphtransformations-2022","role":"author","urls":{" paper":"https://www.danielstrueber.de/publications/ADS22.pdf"},"keyword":["Model-Driven Engineering"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"danielstrueber.de/pubs.bib","dataSources":["s9QQcmJ93fSR3TyW8","C25PTnmiJjNNeXeDN","LKmzHrHyv7kFJ7AXB"],"keywords":["model-driven engineering"],"search_terms":["lightweight","approach","model","checking","variability","based","graph","transformations","albers","damasceno","strüber"],"title":"A Lightweight Approach for Model Checking Variability-Based Graph Transformations","year":2022,"downloads":1}