Regular Inference for Communication Protocol Entities. - Therese Bohlin (2009)

Inferring Compact Models of Communication Protocol Entities. - Therese Bohlin; Bengt Jonsson 001; Siavash Soleimanifard (ISoLA (1), 2010)