Generating models of infinite-state communication protocols using regular inference with abstraction
scientific article; zbMATH DE number 6418978
scientific article