Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Home / All Content
Publications (University Bibliography)
Projects
Electronic Accepted Theses
Open Access Publications
Patents
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(4)
Fakultät für Elektrotechnik und Informationstechnik
(1)
Fakultät für Informatik
(18)
Fakultät für Humanwissenschaften
Fakultät für Luft- und Raumfahrttechnik
(17)
Fakultät für Staats- und Sozialwissenschaften
Fakultät für Wirtschafts- und Organisationswissenschaften
Fakultät für Betriebswirtschaft
Fakultät für Elektrotechnik und Technische Informatik
(5)
Fakultät für Maschinenbau
(4)
Forschungszentren
(5)
CODE
SPACE
(1)
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Patente
Forschungszentren
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