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