| langue originale | Anglais |
|---|---|
| journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 272 |
| état | Publié - 25 juin 2018 |
| Evénement | 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD 2018 - Thessaloniki, Grcce Durée: 15 avr. 2018 → … |
Contient cette citation
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver