The development graph manager MAYA
@inproceedings{AHMS-02-a, author = {Autexier, Serge and Hutter, Dieter and Mossakowski, Till and Schairer, Axel}, editor = {Kirchner, H\'el\`ene and Ringeissen, Christophe}, booktitle = {Proceedings 9th International Conference on Algebraic Methodology And Software Technology (AMAST'02)}, title = {The development graph manager MAYA}, volume = {2422}, series = {LNCS}, publisher = {Springer}, month = {september}, year = {2002}, }