Nested Emptiness Search for Generalized Büchi Automata

Research output: Contribution to journalArticleScientificpeer-review

Researchers

  • Heikki Tauriainen

Research units

Details

Original languageEnglish
Pages (from-to)127-154
JournalFundamenta Informaticae
Volume70
Issue number1-2
Publication statusPublished - 2006
MoE publication typeA1 Journal article-refereed

    Research areas

  • Büchi automata, Model checking, Nested depth-first search

ID: 3620771