Thomas Goldschmidt, Steffen Becker, Axel Uhl. Incremental Updates for Textual Modelling of Large Scale Models. In Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. pages 247-248, IEEE Computer Society, 2010. [doi]
Abstract is missing.