Research output

Computable semantics for CTL* on discrete time and continuous space dynamic systems

Research output: Contribution to journalArticleAcademicpeer-review

Associated researcher

Associated organisations

View graph of relations

Details

Original languageUndefined/Unknown
Pages (from-to)801-821
Number of pages21
JournalInt. J. Found. Comput. Sci.
Volume22
Issue number4
DOIs
Publication statusPublished - 2011