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
Ano de publicación: 2013
Volume: 78
Número: 12
Páxinas: 2468-2487
Tipo: Achega congreso