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

ISSN: 0167-6423

Year of publication: 2013

Volume: 78

Issue: 12

Pages: 2468-2487

Type: Conference paper

DOI: 10.1016/J.SCICO.2013.02.004 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus