TY  - RPRT
TI  - Prototyping Formal System Models with Active Objects
AU  - Eduard Kamburjan
AU  - Reiner Hähnle
PY  - 2018
DO  - 10.4204/eptcs.279.7
UR  - https://arxiv.org/abs/1810.02470
ID  - 1810.02470
ER  -