Andreas Rüping Coauthor index DBLP Vis pubzone.org

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

DBLP keys1995
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Rüping, Emil Sekerinski: Modula-3. Formal Development of Reactive Systems 1995: 357-371
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski: On Object-Oriented Design and Verification. KORSO Book 1995: 92-111
1993
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Rüping, Franz Weber, Walter Zimmer: Demonstrating Coherent Design: A Data Structure Catalogue. TOOLS (11) 1993: 363-375

Coauthor Index

1Claus Lewerentz [2]
2Thomas Lindner [2]
3Emil Sekerinski [2] [3]
4Franz Weber [1]
5Walter Zimmer [1]

Colors in the list of coauthors

Copyright © Mon Dec 7 15:48:47 2009 by Michael Ley (ley@uni-trier.de)