Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Fakultäten (univ.)
(21743)
Fakultäten (HAW)
(1719)
Forschungszentren und -initiativen
(2004)
CISS
(89)
CODE
(842)
dtec.bw
(279)
INDOR
(429)
MARC
(11)
MOVE
(13)
RISK
(265)
SENS
SPACE
(111)
Weitere Einrichtungen
(17)
Projects
Electronic Accepted Theses
Open Access Publications
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Authors:
Brunthaler, Stefan
Document type:
Zeitschriftenartikel / Journal Article
Title:
Virtual-Machine Abstraction and Optimization Techniques
Collection editors:
Albert, E.; Genaim, S.
Title of conference publication:
Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009)
Journal:
Electronic Notes in Theoretical Computer Science
Volume:
253
Issue:
5
Conference title:
International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (4., 2009, York)
Conference title:
BYTECODE '09
Venue:
York, United Kingdom
Year of conference:
2009
Date of conference beginning:
29.03.2009
Publisher:
Elsevier
Year:
2009
Pages from - to:
3-14
Language:
Englisch
DOI:
10.1016/j.entcs.2009.11.011
URL:
https://doi.org/10.1016/j.entcs.2009.11.011
Open Access yes or no?:
Ja / Yes
Type of OA license:
CC BY NC ND 3.0
Licence URL:
https://creativecommons.org/licenses/by-nc-nd/3.0/
BibTeX
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit