Bisimilarity minimization in O (m log n) time

A. Valmari

Research output: Contribution to journal › Article › Scientific › peer-review

23 Citations (Scopus)

Translated title of the contribution	Bisimilarity minimization in O (m log n) time
Original language	English
Pages (from-to)	123-142
Journal	Lecture Notes in Computer Science
Volume	5606
Publication status	Published - 2009
Publication type	A1 Journal article-refereed

Publication forum classification

@article{7a01f2e5668f42aea6aa09b90cd5d39c,

title = "Bisimilarity minimization in O (m log n) time",

author = "A. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2009",

language = "English",

volume = "5606",

pages = "123--142",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}