Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

FOSSACS
2008
Springer

favoriteEmaildiscussreport

90views Software Engineering» more FOSSACS 2008»

Complexity of Decision Problems for Mixed and Modal Specifications

13 years 6 months ago

Complexity of Decision Problems for Mixed and Modal Specifications

Download www.doc.ic.ac.uk

Adam Antonik, Michael Huth, Kim Guldstrand Larsen,

Real-time Traffic

FOSSACS 2008 | Software Engineering |

claim paper

Related Content

» Modal and mixed specifications key decision problems and their complexities

» Residual for Component Specifications

» On the Parallel Complexity of Model Checking in the Modal MuCalculus

» Modal Event Calculus

» On the Complexity of Nash Equilibria and Other Fixed Points Extended Abstract

» XPath Typing Using a Modal Logic with Converse for Finite Trees

» Optimality and Complexity of Opportunistic Spectrum Access A Truncated Markov Decision Pro...

» On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

» Complex Decision Making Processes their Modelling and Support

Post Info
More Details (n/a)

Added	26 Oct 2010
Updated	26 Oct 2010
Type	Conference
Year	2008
Where	FOSSACS
Authors	Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Comments (0)