73
IRUS TotalDownloads
Altmetric
EXPTIME-complete Decision Problems for Mixed and Modal Specifications
File | Description | Size | Format | |
---|---|---|---|---|
exptime-complete-specifications.pdf | Accepted version | 312.93 kB | Adobe PDF | View/Open |
Title: | EXPTIME-complete Decision Problems for Mixed and Modal Specifications |
Authors: | Antonik, A Huth, M Larsen, K Nyman, U Wasowski, A |
Item Type: | Journal Article |
Issue Date: | 31-Aug-2008 |
Citation: | Electronic Notes in Theoretical Computer Science Vol.( 242 ) No.( 1 ) pp 19 - 33 |
URI: | http://hdl.handle.net/10044/1/5789 |
Publisher Link: | http://dx.doi.org/10.1016/j.entcs.2009.06.011 |
DOI: | 10.1016/j.entcs.2009.06.011 |
ISSN: | 1571-0661 |
Publisher: | Elsevier |
Start Page: | 19 |
End Page: | 33 |
Copyright Statement: | © 2009 Elsevier B.V. All rights reserved. NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOL:242, ISSUE:1, (2008) DOI:10.1016/j.entcs.2009.06.011 |
Volume: | 242 |
Appears in Collections: | Quantitative Analysis and Decision Science |