On the specification of modal systems: A comparison of three frameworks

  1. Aceto, L.
  2. Fábregas, I.
  3. De Frutos-Escrig, D.
  4. Ingólfsdóttir, A.
  5. Palomino, M.
Revista:
Science of Computer Programming

ISSN: 0167-6423

Año de publicación: 2013

Volumen: 78

Número: 12

Páginas: 2468-2487

Tipo: Aportación congreso

DOI: 10.1016/J.SCICO.2013.02.004 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus