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.
Revue:
Science of Computer Programming

ISSN: 0167-6423

Année de publication: 2013

Volumen: 78

Número: 12

Pages: 2468-2487

Type: Communication dans un congrès

DOI: 10.1016/J.SCICO.2013.02.004 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus