%0 Conference Paper %1 conf/tap/GabmeyerS16 %A Gabmeyer, Sebastian %A Seidl, Martina %B TAP %D 2016 %E Aichernig, Bernhard K. %E Furia, Carlo A. %I Springer %K %P 94-111 %T Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. %U http://dblp.uni-trier.de/db/conf/tap/tap2016.html#GabmeyerS16 %V 9762 %@ 978-3-319-41134-7

@inproceedings{conf/tap/GabmeyerS16, added-at = {2023-12-14T14:22:44.000+0100}, author = {Gabmeyer, Sebastian and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/272f610a83321d4406ded49cdc7620618/admin}, booktitle = {TAP}, crossref = {conf/tap/2016}, editor = {Aichernig, Bernhard K. and Furia, Carlo A.}, ee = {https://doi.org/10.1007/978-3-319-41135-4_6}, interhash = {df1826f5938c002ac956ec5b9115e378}, intrahash = {72f610a83321d4406ded49cdc7620618}, isbn = {978-3-319-41134-7}, keywords = {}, pages = {94-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:22:44.000+0100}, title = {Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2016.html#GabmeyerS16}, volume = 9762, year = 2016 }