%0 Conference Paper %1 conf/birthday/AutexierHM10 %A Autexier, Serge %A Hutter, Dieter %A Mossakowski, Till %B Verification, Induction, Termination Analysis %D 2010 %E Siegler, Simon %E Wasser, Nathan %I Springer %K %P 54-80 %T Change Management for Heterogeneous Development Graphs. %U http://dblp.uni-trier.de/db/conf/birthday/walther2010.html#AutexierHM10 %V 6463 %@ 978-3-642-17171-0

@inproceedings{conf/birthday/AutexierHM10, added-at = {2023-12-12T19:34:23.000+0100}, author = {Autexier, Serge and Hutter, Dieter and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/20c826f7d974716891a197f5fa8bcb4c3/admin}, booktitle = {Verification, Induction, Termination Analysis}, crossref = {conf/birthday/2010walther}, editor = {Siegler, Simon and Wasser, Nathan}, ee = {https://doi.org/10.1007/978-3-642-17172-7_4}, interhash = {22c4f6b9f0eb9d879cb17c12a149e3fa}, intrahash = {0c826f7d974716891a197f5fa8bcb4c3}, isbn = {978-3-642-17171-0}, keywords = {}, pages = {54-80}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:34:23.000+0100}, title = {Change Management for Heterogeneous Development Graphs.}, url = {http://dblp.uni-trier.de/db/conf/birthday/walther2010.html#AutexierHM10}, volume = 6463, year = 2010 }