Karl-Heinz Buth Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1995
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth: Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH 1995: 11-21
1994
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karl-Heinz Buth: Simulation of SOS Definitions with Term Rewriting Systems. ESOP 1994: 150-164
1992
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm: Provably Correct Compiler Development and Implementation. CC 1992: 141-155
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karl-Heinz Buth: Using SOS Definitions in Term Rewriting Proofs. Larch 1992: 36-54
1991
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bettina Buth, Karl-Heinz Buth: An Approach to Automatic Proof Support for Code Generator Verification. Code Generation 1991: 193-209
1988
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bettina Buth, Karl-Heinz Buth: Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. VDM Europe 1988: 406-433

Coauthor Index

1Rudolf Berghammer
[c6]
2Bettina Buth
[c6] [c4] [c2] [c1]
3Martin Fränzle
[c4]
4Burghard von Karger
[c4]
5Yassine Lakhnech
[c4]
6Hans Langmaack
[c4]
7Markus Müller-Olm
[c4]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 16:21:42 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page