Publikation

The Development Graph Manager MAYA

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002) Springer-Verlag, LNCS 2002.

http://www.dfki.de/vse/papers/ahms02.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence