Inferring Compact Models of Communication Protocol Entities.

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard

Browse the full ISoLA paper archive.