Take It NP-Easy: Bounded Model Construction for Duration Calculus (Q5392294)
From MaRDI portal
scientific article; zbMATH DE number 5876519
Language | Label | Description | Also known as |
---|---|---|---|
English | Take It NP-Easy: Bounded Model Construction for Duration Calculus |
scientific article; zbMATH DE number 5876519 |
Statements
Take It NP-Easy: Bounded Model Construction for Duration Calculus (English)
0 references
8 April 2011
0 references
discrete-time duration calculus
0 references
model construction
0 references
bounded model construction
0 references
complexity
0 references