dblp.uni-trier.dewww.uni-trier.de

Martin Beyer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
4 Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238
1993
3 Gabriele Taentzer, Martin Beyer: Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 380-394
2 Matthias Anlauff, Martin Beyer, Thomas Santen: Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung 1993: 247-252
1EEMichael Löwe, Martin Beyer: AGG - An Implementation of Algebraic Graph Rewriting. RTA 1993: 451-456

Coauthor Index

1Matthias Anlauff [2]
2Stefan Jähnichen [4]
3Florian Kammüller [4]
4Michael Löwe [1]
5Thomas Santen [2] [4]
6Gabriele Taentzer [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)