Tampere University of Technology

TUTCRIS Research Portal

Simple bisimilarity minimization in O(m log n) time

Research output: Contribution to journal › Article › Scientific › peer-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

Availability

Check availability

Authors

  • Antti Valmari

Altmetrics

Research units

Graph of relations

View graph of relations

Tampere University of Technology is at the leading edge of technology development and a sought-after collaboration partner among the scientific and business communities. The University produces competent graduates who enter careers in the different sectors of society.

Quick links

Follow us

subscribe to the TUT science newsletter Interface