TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Simple bisimilarity minimization in O(m log n) time

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut319-339
JulkaisuFundamenta Informaticae
Vuosikerta105
Numero3
DOI - pysyväislinkit
TilaJulkaistu - 2011
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso