TY  - RPRT
TI  - User Assistance Characteristics of the USE Model Checking Tool
AU  - Frank Hilken
AU  - Martin Gogolla
PY  - 2017
DO  - 10.4204/eptcs.240.7
UR  - https://arxiv.org/abs/1701.08471
ID  - 1701.08471
ER  -