Proving a conjecture of Andreka on temporal logic

Jean-Francois Raskin, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un journal/une revue › Article

Contient cette citation

@article{d9676ebb569e45f5bdd7fc9249aa9c50,

title = "Proving a conjecture of Andreka on temporal logic",

author = "Jean-Francois Raskin and Pierre-Yves Schobbens",

note = "Publication code : **RES. ACAD.",

year = "1999",

language = "English",

volume = "3",

pages = "1--13",

journal = "MPI-INF : Research report",

publisher = "Max-Planck-Institut f{\"u}r Informatik",

number = "4",

}