%0 Conference Paper %1 conf/concur/BaldanCK01 %A Baldan, Paolo %A Corradini, Andrea %A König, Barbara %B CONCUR %D 2001 %E Larsen, Kim Guldstrand %E Nielsen, Mogens %I Springer %K dblp %P 381-395 %T A Static Analysis Technique for Graph Transformation Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur2001.html#BaldanCK01 %V 2154 %@ 3-540-42497-0

@inproceedings{conf/concur/BaldanCK01, added-at = {2017-05-23T00:00:00.000+0200}, author = {Baldan, Paolo and Corradini, Andrea and König, Barbara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21a5e07184f0d63d66358932635dcaeac/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2001}, editor = {Larsen, Kim Guldstrand and Nielsen, Mogens}, ee = {https://doi.org/10.1007/3-540-44685-0_26}, interhash = {be709f980f6c1044f6e6af52d77f8293}, intrahash = {1a5e07184f0d63d66358932635dcaeac}, isbn = {3-540-42497-0}, keywords = {dblp}, pages = {381-395}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:23:02.000+0200}, title = {A Static Analysis Technique for Graph Transformation Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2001.html#BaldanCK01}, volume = 2154, year = 2001 }