Coping with Strong Fairness

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)175-193
JournalFundamenta Informaticae
Volume43
Issue number1-4
Publication statusPublished - 2000
MoE publication typeA1 Journal article-refereed

    Research areas

  • counterexamples, fairness, model checking, Streett automata, verification

ID: 3624196