Logo
User: Guest  Login
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:
Language:
Englisch