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.)
(22100)
Fakultäten (HAW)
(1753)
Forschungszentren und -initiativen
(2098)
CISS
(89)
CODE
(869)
dtec.bw
(307)
INDOR
(453)
MARC
(13)
MOVE
(14)
RISK
(273)
SENS
SPACE
(122)
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
Document type:
Patent
Patent number:
US9141354B2
Inventor:
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George
Patent applicant:
Ecole Polytechnique Federale de Lausanne
Title:
Advantageous State Merging During Symbolic Analysis
Country of patent application:
Vereinigte Staaten von Amerika
Application number:
13453973
Date of patent application:
23.04.2012
Date of publication:
24.10.2013
Year:
2012
Pages:
3
Language:
Englisch
Full text URL:
https://assignment.uspto.gov/patent/index.html#/patent/search/resultAbstract?id=9141354&type=patNum
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Home / Alle Inhalte
Patente
Fakultät für Informatik
Home / Alle Inhalte
Patente
Forschungszentren
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE