Improving partial order reductions for universal branching time properties

W. Penczek, M. Szreter, R.T. Gerth, R. Kuiper

Research output: Contribution to journalArticleAcademicpeer-review

23 Citations (Scopus)
Original languageEnglish
Pages (from-to)245-267
JournalFundamenta Informaticae
Volume43
Issue number1-4
Publication statusPublished - 2000

Cite this