Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Modal and Mixed Specifications: Key Decision Problems and their Complexities
File(s)
Author(s)
Antonik, A
Huth, M
Larsen, KG
Nyman, U
Wasowski, A
Type
Journal Article
Date Issued
2010
Citation
Mathematical Structures in Computer Science, 2010, 20 (1), pp.75-103
URI
DOI
ISSN
0960-1295
Publisher
CAMBRIDGE UNIV PRESS
Start Page
75
End Page
103
Journal / Book Title
Mathematical Structures in Computer Science
Volume
20
Issue
1
Copyright Statement
Copyright © Cambridge University Press 2010. The final publication is available via Cambride Journals Online at http://dx.doi.org/10.1017/S0960129509990260
License URL
Identifier
http://www.doc.ic.ac.uk/~mrh
Publication Status
Published