Logo
Benutzer: Gast  Login
Dokumenttyp:
Patent 
Patentnummer:
US9141354 (B2) 
Erfinder:
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George 
Titel:
Advantageous State Merging During Symbolic Analysis 
Jahr:
2015 
Sprache:
Englisch 
Open Access ja oder nein?:
Ja / Yes