Quantifying the discord: Order discrepancies in Message Sequence Charts
Résumé
Edith Elkind, Blaise Genest, Doron Peled, and Paola Spoletini. \newblock Quantifying the discord: Order discrepancies in Message Sequence Charts, special issue of ATVA 2007. \newblock {\em International Journal of Foundations of Computer Science (IJFCS)} 21(2): 211-233, WorldSciNet, 2010.
Domaines
Autre [cs.OH]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...