DssEC: A Deep State Sequence Based Equivalence Checker (Q130983176)
scientific article published on 07 December 2021
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | DssEC: A Deep State Sequence Based Equivalence Checker |
scientific article published on 07 December 2021 |
Statements
DssEC: A Deep State Sequence Based Equivalence Checker (English)
Jian Hu
Yun Kang
Yongyang Hu
Haitao Yang
Le Tong
Jie Cheng
Junquan Deng
7 December 2021
1-6
