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

Fecha

2019-09-02

Editor

Sistedes

Publicado en

Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019)

Licencia Creative Commons

Resumen

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

Descripción

Acerca de Bolotov, Alexander

Palabras clave

Branching Temporal Logic, Fairness Constraints, Model Checking, One-Pass Tableau
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX