Modal and mixed specifications: key decision problems and their complexities

File Description SizeFormat 
Mathematical Structures in Computer Science_20_1_2010.pdfPublished version756.8 kBAdobe PDFView/Open
Title: Modal and mixed specifications: key decision problems and their complexities
Authors: Antonik, A
Huth, M
Larsen, KG
Nyman, U
Wasowski, A
Item Type: Journal Article
Issue Date: 1-Feb-2010
URI: http://hdl.handle.net/10044/1/14401
DOI: http://dx.doi.org/10.1017/S0960129509990260
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
Publication Status: Published
Appears in Collections:Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx