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

Any de publicació: 2013

Volum: 78

Número: 12

Pàgines: 2468-2487

Tipus: Aportació congrés

DOI: 10.1016/J.SCICO.2013.02.004 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus