Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Schulte, Wolfram"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Semantic essence of AsmL
Yuri Gurevich
,
Benjamin Rossman
,
Wolfram Schulte
Theoretical Computer Science
343
(3), 2005, pp. 370-412
Defining the Java virtual machine as platform for provably correct Java compilation
Egon Börger
,
Wolfram Schulte
Lecture Notes in Computer Science
1450
, 1998, pp. 17-35