- 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
- URL zum Volltext:
- https://assignment.uspto.gov/patent/index.html#/patent/search/resultAbstract?id=9141354&type=patNum
Login
