On the specification of modal systems: A comparison of three frameworks
- Aceto, L.
- Fábregas, I.
- De Frutos-Escrig, D.
- Ingólfsdóttir, A.
- Palomino, M.
ISSN: 0167-6423
Año de publicación: 2013
Volumen: 78
Número: 12
Páginas: 2468-2487
Tipo: Aportación congreso