Inferring Compact Models of Communication Protocol Entities - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard. Inferring Compact Models of Communication Protocol Entities. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Volume 6415 of Lecture Notes in Computer Science, pages 658-672, Springer, 2010. [doi]

This author has not been identified. Look up 'Therese Bohlin' in GoogleThis author has not been identified. Look up 'Bengt Jonsson' in GoogleThis author has not been identified. Look up 'Siavash Soleimanifard' in Google

runs on WebDSL