Certifying DFA Bounds for Recognition and Separation

Orna Kupferman, Nir Lavee, Salomon Sickert

The Rachel and Selim Benin School of Engineering and Computer Science

The Hebrew University of Jerusalem

Research output: Contribution to journal › Article › peer-review

Engineering & Materials Science