Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. - Fides Aarts; Bengt Jonsson 001; Johan Uijen (ICTSS, 2010)

Generating models of infinite-state communication protocols using regular inference with abstraction. - Fides Aarts; Bengt Jonsson 001; Johan Uijen; Frits W. Vaandrager (Formal Methods Syst. Des., 2015)