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

by Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino

Published in Science of Computer Programming by Elsevier BV.

2013   Volume 78, Issue 12, p2468-2487

Archived Files and Locations

application/pdf  360.3 kB
file_2hmyasce5vc6pdvmzhbo3sttmu
web.archive.org (webarchive)
maude.sip.ucm.es (web)
application/pdf  271.1 kB
file_jdr6erqwcnfzfdvvp66mqrby5u
maude.sip.ucm.es (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2013
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0167-6423
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d187ab58-af68-41f1-a721-17039544d53a
API URL: JSON