On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics

Authors:
François Laroussinie;Ph. Schnoebelen;Mathieu Turuani
Affiliations:
-;-;-
Venue:
LATIN '00 Proceedings of the 4th Latin American Symposium on Theoretical Informatics
Year:
2000

Citing 0
Cited 2

On Solving Temporal Logic Queries

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
On Model Checking Durational Kripke Structures

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract