21 search results - page 5 / 5 » Interval Duration Logic: Expressiveness and Decidability |
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...