Heiko Petzsch 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 keys1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Petzsch: Automatic Prototyping of Algebraic Specifications using PROLOG. ADT 1984: 207-223
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich W. Beichter, Otthein Herzog, Heiko Petzsch: SLAN-4 - A Software Specification and Design Language. IEEE Trans. Software Eng. 10(2): 155-162 (1984)
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich W. Beichter, Otthein Herzog, Heiko Petzsch: SLAN-4: A Language for the Specification and Design of Large Software Systems. IBM Journal of Research and Development 27(6): 558-576 (1983)
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Klaeren, Heiko Petzsch: The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. ICFPC 1981: 335-346

Coauthor Index

1Friedrich W. Beichter [2] [3]
2Otthein Herzog [2] [3]
3Herbert Klaeren [1]

Colors in the list of coauthors

Copyright © Thu Dec 24 12:43:15 2009 by Michael Ley (ley@uni-trier.de)