Tampere University of Technology

TUTCRIS Research Portal

Simple bisimilarity minimization in O(m log n) time

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Pages (from-to)319-339
JournalFundamenta Informaticae
Volume105
Issue number3
DOIs
Publication statusPublished - 2011
Publication typeA1 Journal article-refereed

Publication forum classification

Field of science, Statistics Finland