Sciweavers

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

7

MSCS
2010

favoriteEmaildiscussreport

73views more MSCS 2010»

Modal and mixed specifications: key decision problems and their complexities

12 years 11 months ago

Modal and mixed specifications: key decision problems and their complexities

Download pubs.doc.ic.ac.uk

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik N

Real-time Traffic

MSCS 2010 | Security Privacy |

claim paper

Related Content

» Complexity of Decision Problems for Mixed and Modal Specifications

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

» Complex Decision Making Processes their Modelling and Support

» Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping

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

» A Methodology for Designing and Dimensioning Critical Complex Computing Systems

» Supporting Customizable Architectural Design Decision Management

» Mining optimal decision trees from itemset lattices

» YALE rapid prototyping for complex data mining tasks

Post Info
More Details (n/a)

Added	20 May 2011
Updated	20 May 2011
Type	Journal
Year	2010
Where	MSCS
Authors	Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski

Comments (0)