Navegación

Búsqueda

Búsqueda avanzada

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach

Resumen:

25th International Symposium on Temporal Representation and Reasoning (TIME 2018)Warsaw, Poland 15-17 October 2018.

Palabras Clave:

Branching Temporal Logic - Fairness Constraints - Model checking - One-Pass Tableau

Autor(es):

Handle:

11705/PROLE/2019/005

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.