39
IRUS TotalDownloads
Modal and mixed specifications: key decision problems and their complexities
| File | Description | Size | Format | |
|---|---|---|---|---|
 Mathematical Structures in Computer Science_20_1_2010.pdf | Published version | 756.8 kB | Adobe PDF | View/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 |