P. [. Bruns and . Godefroid, Temporal logic query checking (extended abstract ), Proc. 16th IEEE Symp. Logic in Computer Science (LICS'2001), pp.409-417, 2001.
DOI : 10.1109/lics.2001.932516

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

URL : http://www.cs.cmu.edu/~bryant/pubs.pdf

E. M. Clarke, O. Grumberg, and D. A. , Peled. Model Checking, 1999.

W. [. Chan, B. Cleaveland, and . Steffen, Temporal-logic Queries, Proc. 12th Int. Conf. Computer Aided Verification Proc. 3rd Int. Workshop Computer Aided Verification (CAV'91), pp.450-463, 1991.
DOI : 10.1007/10722167_34

E. A. Emerson, Temporal and Modal Logic, Handbook of Theoretical Computer Science, pp.995-1072523, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

F. Laroussinie, N. Markey, and P. Schnoebelen, On Model Checking Durational Kripke Structures, Proc. 5th Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS'2002), pp.264-279, 2002.
DOI : 10.1007/3-540-45931-6_19

URL : https://hal.archives-ouvertes.fr/hal-01194632

F. Laroussinie, . Ph, M. Schnoebelen, and . Turuani, On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics, Proc. 4th Latin American Symposium on Theoretical Informatics (LATIN'2000), pp.437-446, 2000.
DOI : 10.1007/10719839_43

URL : https://hal.archives-ouvertes.fr/inria-00104145

C. H. Papadimitriou, Computational Complexity Quantified Computation Tree Logic, Information Processing Letters, vol.82, issue.3, pp.123-129, 1994.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32