Generating models of infinite-state communication protocols using regular inference with abstraction
Crossref DOI link: https://doi.org/10.1007/s10703-014-0216-x
Published Online: 2014-11-19
Published Print: 2015-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Aarts, Fides
Jonsson, Bengt
Uijen, Johan
Vaandrager, Frits
Text and Data Mining valid from 2014-11-19