Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
All data
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Less Searchfields
Reset
Search
Simple search
Home / All Content
Publications (University Bibliography)
Fakultäten (univ.)
(21523)
Fakultäten (HAW)
(1679)
Forschungszentren und -initiativen
(1949)
CISS
(87)
CODE
(831)
dtec.bw
(247)
INDOR
(423)
MARC
(11)
MOVE
(11)
RISK
(259)
SENS
SPACE
(112)
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
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Authors:
Kinder, Johannes; Kravchenko, Dmitry
Document type:
Konferenzbeitrag / Conference Paper
Title:
Alternating Control Flow Reconstruction
Collection editors:
Kuncak, Viktor; Rybalchenko, Andrey
Title of conference publication:
Verification, Model Checking, and Abstract Interpretation
Subtitle of conference publication:
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
7148
Conference title:
International Workshop on Verification, Model Checking, and Abstract Interpretation (13., 2012, Philadelphia, PA)
Venue:
Philadelphia, PA
Year of conference:
2012
Date of conference beginning:
22.01.2012
Date of conference ending:
24.01.2012
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2012
Pages from - to:
267-282
Language:
Englisch
ISBN:
978-3-642-27940-9 ; 978-3-642-27939-3
DOI:
10.1007/978-3-642-27940-9_18
URL:
https://doi.org/10.1007/978-3-642-27940-9_18
Open Access yes or no?:
Nein / No
BibTeX
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE