SMT-based generation of symbolic automata
Crossref DOI link: https://doi.org/10.1007/s00236-020-00367-6
Published Online: 2020-05-06
Published Print: 2020-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Qin, Xudong
Bliudze, Simon http://orcid.org/0000-0002-7900-5271
Madelaine, Eric http://orcid.org/0000-0002-5552-5993
Hou, Zechen
Deng, Yuxin
Zhang, Min
Text and Data Mining valid from 2020-05-06
Version of Record valid from 2020-05-06
Article History
Received: 10 April 2019
Accepted: 27 January 2020
First Online: 6 May 2020