The Development Graph Manager MAYA

@inproceedings{pub1627,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
 and 

Mossakowski, Till
 and 

Schairer, Axel
},
    title = {The Development Graph Manager MAYA},
    booktitle = {Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002)},
    year = {2002},
    publisher = {Springer-Verlag, LNCS}
}