Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{BackesDiss2005, ... | Doktorarbeit - German
Backes, Werner
Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes, January, 2005
Public
Download File(s):
Prof. Andreas Podelski
Prof. Reinhard Wilhelm
Prof. Andreas Podelski
Completed
7
January
2005
Prof. Holger Hermanns
Max-Planck-Institut für Informatik
Programming Logics Group
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort
BibTeX Entry:
@PHDTHESIS{BackesDiss2005,
AUTHOR = {Backes, Werner},
TITLE = {Programmanalyse des XRTL Zwischencodes},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2005},
TYPE = {Doctoral dissertation}
MONTH = {January},
}
AUTHOR = {Backes, Werner},
TITLE = {Programmanalyse des XRTL Zwischencodes},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2005},
TYPE = {Doctoral dissertation}
MONTH = {January},
}
Entry last modified by Christine Kiesel, 01/28/2008
Edit History (please click the blue arrow to see the details) | Editor(s) Werner Backes | Created 04/15/2005 01:13:35 AM |
| Revision 1. 0. | Editor Christine Kiesel Werner Backes | Edit Date 27.04.2005 11:35:06 04/15/2005 01:13:35 AM |