Universität der Bundeswehr München: AtheneForschung
Logo
Benutzer: Gast  Login
Dokumenttyp:
Patent 
Patentnummer:
US9141354B2 
Erfinder:
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George 
Patentanmelder:
Ecole Polytechnique Federale de Lausanne 
Titel:
Advantageous State Merging During Symbolic Analysis 
Anmeldeland:
Vereinigte Staaten von Amerika 
Anmeldenummer:
13453973 
Datum der Patentanmeldung:
23.04.2012 
Veröffentlichungsdatum:
24.10.2013 
Jahr:
2012 
Seiten:
3 
Sprache:
Englisch