Inferring compact models of communication protocol entities

Type de document :
Communication dans un congrès
ISoLa 2010, 2010, Heraklion, Greece. 2010, 〈10.1007/978-3-642-16558-0_53〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00767431
Contributeur : Sofia Cassel <>
Soumis le : mercredi 19 décembre 2012 - 18:12:16
Dernière modification le : mercredi 19 décembre 2012 - 18:12:16

Lien texte intégral

Identifiants

Collections

Citation

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard. Inferring compact models of communication protocol entities. ISoLa 2010, 2010, Heraklion, Greece. 2010, 〈10.1007/978-3-642-16558-0_53〉. 〈hal-00767431〉

Partager

Métriques

Consultations de la notice

44