- 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
Login
