%0 Conference Paper %1 conf/gg/HermannEOG10 %A Hermann, Frank %A Ehrig, Hartmut %A Orejas, Fernando %A Golas, Ulrike %B ICGT %D 2010 %E Ehrig, Hartmut %E Rensink, Arend %E Rozenberg, Grzegorz %E Schürr, Andy %I Springer %K %P 155-170 %T Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. %U http://dblp.uni-trier.de/db/conf/gg/icgt2010.html#HermannEOG10 %V 6372 %@ 978-3-642-15927-5

@inproceedings{conf/gg/HermannEOG10, added-at = {2023-12-12T19:17:17.000+0100}, author = {Hermann, Frank and Ehrig, Hartmut and Orejas, Fernando and Golas, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/228da3c5ad5129730735ff66a069a3b9d/admin}, booktitle = {ICGT}, crossref = {conf/gg/2010}, editor = {Ehrig, Hartmut and Rensink, Arend and Rozenberg, Grzegorz and Schürr, Andy}, ee = {https://doi.org/10.1007/978-3-642-15928-2_11}, interhash = {1e7868d2e76a142cb072b81b85af0dce}, intrahash = {28da3c5ad5129730735ff66a069a3b9d}, isbn = {978-3-642-15927-5}, keywords = {}, pages = {155-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:17:17.000+0100}, title = {Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.}, url = {http://dblp.uni-trier.de/db/conf/gg/icgt2010.html#HermannEOG10}, volume = 6372, year = 2010 }