TY  - RPRT
TI  - On the specification of modal systems: A comparison of three frameworks
AU  - Luca Aceto
AU  - Ignacio Fábregas
AU  - David de Frutos Escrig
AU  - Anna Ingólfsdóttir
AU  - Miguel Palomino
PY  - 2024
DO  - 10.1016/j.scico.2013.02.004
UR  - https://arxiv.org/abs/2402.00966
ID  - 2402.00966
ER  -