Using complete-1-distinguishability for FSM equivalence checking
- Pranav Ashar
- , Aarti Gupta
- , Sharad Malik
Research output: Contribution to journal › Article › peer-review
3
Link opens in a new tab
Scopus
citations