๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A generic logical-temporal performance analysis method for complex systems

โœ Scribed by Romain Kervarc; Jean Bourrely; Claire Quillien

Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
439 KB
Volume
81
Category
Article
ISSN
0378-4754

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A general tableau method for proposition
A general tableau method for propositional interval temporal logics: Theory and implementation
โœ V. Goranko; A. Montanari; P. Sala; G. Sciavicco ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 327 KB

In this paper, we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for