mediaTUM - Media and Publication Server

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: