Skip to search boxSkip to navigationSkip to main content

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

  • Adam Antonik
    ,
  • Michael Huth
    ,
  • Kim Guldstrand Larsen
    ,
  • Ulrik Mathias Nyman
    ,
  • Andrzej Wasowski
  • Imperial College London
    ,
  • Aalborg University
Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 19-33

Journal (Volume, Issue Number)

Electronic Notes in Theoretical Computer Science (Issue 1)

Publication milestones

  • Published - 2009

Publication status

Published - 2009

ISSN

1571-0661

Publication IDs

  • Scopus: 67649443831

Publication metrics

PlumX

Captures
5
Citations
8

Related Event

Title

Workshop on Expressiveness in Concurrency (EXPRESS 2008)

Event type

Conference

Date

02/07/2010

Location

TorontoCanada