%0 Journal Article %1 journals/isse/KupfermanLS22 %A Kupferman, Orna %A Lavee, Nir %A Sickert, Salomon %D 2022 %J Innov. Syst. Softw. Eng. %K dblp %N 3 %P 405-416 %T Certifying DFA Bounds for Recognition and Separation. %U http://dblp.uni-trier.de/db/journals/isse/isse18.html#KupfermanLS22 %V 18

@article{journals/isse/KupfermanLS22, added-at = {2022-09-22T00:00:00.000+0200}, author = {Kupferman, Orna and Lavee, Nir and Sickert, Salomon}, biburl = {https://www.bibsonomy.org/bibtex/20fb6420693346b195a68797e60ecf7dd/dblp}, ee = {https://doi.org/10.1007/s11334-022-00446-6}, interhash = {42ab7114883b1d7cd44339918f3b8710}, intrahash = {0fb6420693346b195a68797e60ecf7dd}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 3, pages = {405-416}, timestamp = {2024-04-09T04:08:21.000+0200}, title = {Certifying DFA Bounds for Recognition and Separation.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse18.html#KupfermanLS22}, volume = 18, year = 2022 }