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

ISSN: 0167-6423

Datum der Publikation: 2013

Ausgabe: 78

Nummer: 12

Seiten: 2468-2487

Art: Konferenz-Beitrag

DOI: 10.1016/J.SCICO.2013.02.004 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus