Message sequence charts
- Biaise Genest
- , Anca Muscholl
- , Doron Peled
Research output: Contribution to journal › Article › peer-review
21
Scopus
citations