Proving a conjecture of Andreka on temporal logic

Jean-Francois Raskin, Pierre-Yves Schobbens

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1-13
Number of pages13
JournalMPI - I. Research report
Volume3
Issue number4
Publication statusPublished - 1999

Cite this