TY  - RPRT
TI  - Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams
AU  - Aymen Louati
AU  - Chadlia Jerad
AU  - Kamel Barkaoui
PY  - 2014
UR  - https://arxiv.org/abs/1401.5612
ID  - 1401.5612
ER  -