TY  - RPRT
TI  - SModelS v1.0: a short user guide
AU  - Sabine Kraml
AU  - Suchita Kulkarni
AU  - Ursula Laa
AU  - Andre Lessa
AU  - Veronika Magerl
AU  - Wolfgang Magerl
AU  - Doris Proschofsky-Spindler
AU  - Michael Traub
AU  - Wolfgang Waltenberger
PY  - 2014
UR  - https://arxiv.org/abs/1412.1745
ID  - 1412.1745
ER  -