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

Werner Gaube (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Gaube, Peter C. Lockemann, Heinrich C. Mayr: Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen. Software-Architektur 1986: 66-81
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Gaube, Heinrich C. Mayr, Peter C. Lockemann: Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties. European Conference on Computer Algebra (2) 1985: 181-196
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr: Construction of Application Systems: Some Aspects of Standardization. ECI 1981: 85-102

Selection of 3 from 3 records - Werner Gaube has 3 coauthors

Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)