Therese Bohlin

Inferring Compact Models of Communication Protocol Entities

Bengt Jonsson, Therese Bohlin, Siavash Soleimanifard, 2010, ISoLA.

Regular Inference for Communication Protocol Entities

Therese Bohlin, Therese Bohlin, 2008 .